fprint_set_help  5695 src/simh/scp.c fprint_set_help (st, dptr);
fprint_set_help  11010 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);