2 readonly CkGroupID _sysChkptMgr;
3 group [migratable] CkCheckpointMgr {
4 entry CkCheckpointMgr(void);
5 entry void Checkpoint(char dirname[strlen(dirname)+1],CkCallback cb);
6 entry void SendRestartCB(CkReductionMsg *m);
8 mainchare CkCheckpointInit {
9 entry CkCheckpointInit(CkArgMsg *m);