monitor_prompt     11 src/monitor.c  static char *monitor_prompt = "(comet2 monitor)";
monitor_prompt    396 src/monitor.c          fprintf(stdout, "%s ", monitor_prompt);