YY_TINT           198 core/syntax.y        | dec   { if ($$ == YY_TINT) {
YY_TINT           265 core/syntax.y  dec = < ('0' | '-'? [1-9][0-9]*) { $$ = YY_TINT; }