onecmd_help      11327 src/simh/scp.c static const char onecmd_help[] = { "%s help.\r\n" };
onecmd_help      11404 src/simh/scp.c     (void)fprintf (st, ((flag & SCP_HELP_ONECMD)? onecmd_help: brief_help), top.title);