Ooops: need to expose yyget_lineno()