writeDmtcpHeader  417 ckptserializer.cpp   writeDmtcpHeader(fd);
writeDmtcpHeader   36 ckptserializer.h     void writeDmtcpHeader(int fd);