print_default_base_system_script 4305 src/simh/scp.c extern void print_default_base_system_script (void);
print_default_base_system_script 4309 src/simh/scp.c   print_default_base_system_script();