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