prgNameMap         12 procname.cpp   static map<pid_t, string> prgNameMap;
prgNameMap         62 procname.cpp     prgNameMap.clear();
prgNameMap         72 procname.cpp       prgNameMap[dmtcp_gettid()] = name;
prgNameMap         91 procname.cpp     string prgName = prgNameMap[dmtcp_gettid()];