fprint_set_help  5891 src/simh/scp.c fprint_set_help (st, dptr);
fprint_set_help  11214 src/simh/scp.c           fprint_set_help (tmp, dptr);
fprint_set_help   164 src/simh/scp.h void fprint_set_help (FILE *st, DEVICE *dptr);