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