hbict_args        166 ckptserializer.cpp   char *hbict_args[] = {
hbict_args        172 ckptserializer.cpp   hbict_args[0] = hbict_path;
hbict_args        176 ckptserializer.cpp     hbict_args[2] = const_cast<char*> ("-z100");
hbict_args        178 ckptserializer.cpp   return open_ckpt_to_write(fd,pipe_fds,hbict_args);
hbict_args        450 dmtcp_restart.cpp   static const char *hbict_args[] = {
hbict_args        477 dmtcp_restart.cpp       decomp_args = hbict_args;