DMTCP_FILE_HEADER  455 ckptserializer.cpp   const ssize_t len = strlen(DMTCP_FILE_HEADER);
DMTCP_FILE_HEADER  456 ckptserializer.cpp   JASSERT(write(fd, DMTCP_FILE_HEADER, len) == len);
DMTCP_FILE_HEADER  399 dmtcp_restart.cpp   const size_t len = strlen(DMTCP_FILE_HEADER);
DMTCP_FILE_HEADER  545 dmtcp_restart.cpp   const int len = strlen(DMTCP_FILE_HEADER);
DMTCP_FILE_HEADER  547 dmtcp_restart.cpp   if (strncmp(buf, DMTCP_FILE_HEADER, len) == 0) {