tokens 275 src/simh/scp.c void fprint_sep (FILE *st, int32 *tokens); tokens 4224 src/simh/scp.c void fprint_sep (FILE *st, int32 *tokens) tokens 4226 src/simh/scp.c fprintf (st, "%s", (*tokens > 0) ? "" : "\t"); tokens 4227 src/simh/scp.c *tokens += 1;