console_exit       24 src/dps8/dps8_console.h void console_exit (void);
console_exit     4680 src/dps8/dps8_sys.c   console_exit ();