hex               888 dmtcp_coordinator.cpp     << "/dmtcpSharedArea." << compId << "." << std::hex << curTimeStamp;
hex                87 plugin/ipc/connectionidentifier.cpp   o << std::hex << id.hostid()
hex                89 plugin/ipc/connectionidentifier.cpp     << '-' << std::hex << id.time()
hex               133 plugin/pid/pid.cpp     << std::hex << dmtcp_get_coordinator_timestamp();
hex               140 shareddata.cpp       << *compId << "." << std::hex << coordInfo->timeStamp;
hex               143 uniquepid.cpp    o << std::hex << id.hostid() << '-' << std::dec << id.pid() << '-' << std::hex << id.time() << std::dec;
hex               149 uniquepid.cpp    o << std::hex << id._hostid<< '-' << std::dec << id._pid << '-' << std::hex << id._time << std::dec;