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