print_default_base_system_script 4531 src/simh/scp.c extern void print_default_base_system_script (void);
print_default_base_system_script 4535 src/simh/scp.c   print_default_base_system_script();