monmsg            682 src/exec.c         const char *monmsg = "COMET II machine code monitor. Type ? for help.\n";
monmsg            709 src/exec.c                     fprintf(stdout, "%s", monmsg);