DMTCP_PRGNAME_PREFIX   10 procname.cpp   static const char* DMTCP_PRGNAME_PREFIX = "DMTCP:";
DMTCP_PRGNAME_PREFIX   92 procname.cpp     if (!Util::strStartsWith(prgName, DMTCP_PRGNAME_PREFIX)) {
DMTCP_PRGNAME_PREFIX   94 procname.cpp       prgName = DMTCP_PRGNAME_PREFIX + prgName;