/* token translation table: indexed by a token number as returned by
the user's yylex routine, it yields the internal token number used
/* token translation table: indexed by a token number as returned by
the user's yylex routine, it yields the internal token number used