fprint_stopped    358 src/simh/scp.c void fprint_stopped (FILE *st, t_stat r);
fprint_stopped   6699 src/simh/scp.c fprint_stopped (stdout, r);                         /* print msg */
fprint_stopped   6701 src/simh/scp.c     fprint_stopped (sim_log, r);
fprint_stopped   6703 src/simh/scp.c     fprint_stopped (sim_deb, r);