print_default_base_system_script 4543 src/simh/scp.c extern void print_default_base_system_script (void);
print_default_base_system_script 4547 src/simh/scp.c   print_default_base_system_script();