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