/*
 * outputs token in the appropriate format, namely "lineno:errorcode:string\n"
 */
void output_token (FILE *out, long long int lineno,
		   tokenerror_t error, char *buff);

/*
 * scans input for tokens, writes them to out with with line number
 * information
 *
 * errors are flagged by writing a negative line number (note that it is the
 * correct line number multiplied by -1, so line number is still available)
 */
void scanner (FILE *input, FILE *output);