console_exit       21 src/dps8/dps8_console.h void console_exit (void);
console_exit     4567 src/dps8/dps8_sys.c   console_exit ();