7 printf(
"\n Shutdown -- ");
12 int ExitProc(
int ccode,
15 xcode code=(xcode)ccode;
17 printf(
"\n Exit -- %d : ",ccode);
21 printf(
"optimal solution found");
24 printf(
"out of memory space");
29 if (str) printf(
", %s",str);
33 printf(
"\n Exiting -- ");