monitor_prompt     15 src/monitor.c  static char *monitor_prompt = "(comet2 monitor) ";
monitor_prompt    405 src/monitor.c          buf = readline(monitor_prompt);