_progname         507 dmtcp_coordinator.cpp     _progname = extraData + _hostname.length() + 1;
_progname          47 dmtcp_coordinator.h       void progname(string pname){ _progname = pname; }
_progname          48 dmtcp_coordinator.h       string progname(void) const { return _progname; }
_progname          65 dmtcp_coordinator.h       string _progname;