Miscellany

int yylval_token(int symbol) {	char tname[80];	char lexinf[80];   	yylval = new_node (symbol, scan_linenr, scan_offset, yytext);	scan_offset += yyleng;	if(dump_tokens) {		if (strcmp(get_yytname(symbol), "$undefined") == 0) {			strcpy(tname, "'");			strcat(tname, peek_stringtable(get_lex_info(yylval)));			strcat(tname, "'");		}		else {			strcpy(tname, get_yytname(symbol));			}			strcpy(lexinf, "(");		strcat(lexinf, peek_stringtable(get_lex_info(yylval)));		strcat(lexinf, ")");		//output the string		fprintf(tok_out, "%8.3f %5d  %-15s %-10s\n", get_serial_nr(yylval)/1000, symbol, tname, lexinf);	}   	return symbol;}