set_default_base_system 3903 src/dps8/dps8_sys.c     {"DEFAULT_BASE_SYSTEM", set_default_base_system,  0, "Set configuration to defaults\r\n",             NULL, NULL},
set_default_base_system 4557 src/dps8/dps8_sys.c   set_default_base_system (0, NULL);