fprint_set_help  5350 src/simh/scp.c fprint_set_help (st, dptr);
fprint_set_help  10624 src/simh/scp.c           fprint_set_help (tmp, dptr);
fprint_set_help   162 src/simh/scp.h void fprint_set_help (FILE *st, DEVICE *dptr);