open_ckpt_to_write   63 ckptserializer.cpp static int open_ckpt_to_write(int fd, int pipe_fds[2], char **extcomp_args);
open_ckpt_to_write  178 ckptserializer.cpp   return open_ckpt_to_write(fd,pipe_fds,hbict_args);
open_ckpt_to_write  193 ckptserializer.cpp   return open_ckpt_to_write(fd,pipe_fds,gzip_args);