#include #include #include #include #include FILE *infile, *outfile; char *psi_file_prefix; int main(int argc, char *argv[]) { extern char *gprgid(void); psi_start(argc-1,argv+1,0); ip_cwk_add(gprgid()); psio_init(); chkpt_init(PSIO_OPEN_OLD); chkpt_close(); psio_done(); psi_stop(); } char *gprgid(void) { char *prgid = ":EXAMPLE"; return(prgid); }