openCkptFileToRead  126 dmtcp_restart.cpp static int openCkptFileToRead(const string& path);
openCkptFileToRead  398 dmtcp_restart.cpp   int fd = openCkptFileToRead(path);