open_ckpt_to_read  542 dmtcp_restart.cpp   int fd = open_ckpt_to_read(path.c_str());
open_ckpt_to_read  551 dmtcp_restart.cpp     fd = open_ckpt_to_read(path.c_str()); /* Re-open from beginning */