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