Symbol: yytokentype