tokens            346 src/simh/scp.c void fprint_sep (FILE *st, int32 *tokens);
tokens           4462 src/simh/scp.c void fprint_sep (FILE *st, int32 *tokens)
tokens           4464 src/simh/scp.c (void)fprintf (st, "%s", (*tokens > 0) ? "" : "\t");
tokens           4465 src/simh/scp.c *tokens += 1;