fprint_help       357 src/simh/scp.c void fprint_help (FILE *st);
fprint_help      2955 src/simh/scp.c     fprint_help (stdout);
fprint_help      2957 src/simh/scp.c         fprint_help (sim_log);