# rename parser symbols to prevent name collisions
# with other parsers
# There is a more elegant way using the preprocessor
# (see LayeredControl, mpdefs.h) but it doesn't work here

BEGIN{
	FS = "\n";
	line="";
}

{
    gsub(/_starting/,"ut_starting")
    gsub(/_lineNo/,"ut_lineNo")
    gsub(/yybgin/,"ut_bgin")
    gsub(/yycrank/,"ut_crank")
    gsub(/yyerror/,"ut_error")
    gsub(/yyestate/,"ut_estate")
    gsub(/yyextra/,"ut_extra")
    gsub(/yyfnd/,"ut_fnd")
    gsub(/yyin/,"ut_in")
    gsub(/yyinput/,"ut_input")
    gsub(/yyleng/,"ut_leng")
    gsub(/yylex/,"ut_lex")
    gsub(/yylineno/,"ut_lineno")
    gsub(/yylook/,"ut_look")
    gsub(/yylsp/,"ut_lsp")
    gsub(/yylstate/,"ut_lstate")
    gsub(/yytext/,"ut_text")
    gsub(/yylval/,"ut_lval")
    gsub(/yymatch/,"ut_match")
    gsub(/yymorfg/,"ut_morfg")
    gsub(/yyolsp/,"ut_olsp")
    gsub(/yyout/,"ut_out")
    gsub(/yyoutput/,"ut_output")
    gsub(/yyprevious/,"ut_previous")
    gsub(/yysbuf/,"ut_sbuf")
    gsub(/yysptr/,"ut_sptr")
    gsub(/yysvec/,"ut_svec")
    gsub(/yytchar/,"ut_tchar")
    gsub(/yytop/,"ut_top")
    gsub(/yyunput/,"ut_unput")
    gsub(/yyvstop/,"ut_vstop")
    gsub(/yywrap/,"ut_wrap")
    gsub(/yyracc/,"ut_racc")
    gsub(/yyreject/,"ut_reject")
    gsub(/yywoutput/,"ut_woutput")
    gsub(/yywinput/,"ut_winput")
    gsub(/yyless/,"ut_less")
    gsub(/yysccsid/,"ut_sccsid")
    gsub(/yydebug/,"ut_debug")
    gsub(/yynerrs/,"ut_nerrs")
    gsub(/yyerrflag/,"ut_errflag")
    gsub(/yychar/,"ut_char")
    gsub(/yyparse/,"ut_parse")
    gsub(/yylhs/,"ut_lhs")
    gsub(/yylen/,"ut_len")
    gsub(/yydefred/,"ut_defred")
    gsub(/yydgoto/,"ut_dgoto")
    gsub(/yysindex/,"ut_sindex")
    gsub(/yyrindex/,"ut_rindex")
    gsub(/yygindex/,"ut_gindex")
    gsub(/yytable/,"ut_table")
    gsub(/yycheck/,"ut_check")
    gsub(/yyssp/,"ut_ssp")
    gsub(/yyvsp/,"ut_vsp")
    gsub(/yyval/,"ut_val")
    gsub(/yyss/,"ut_ss")
    gsub(/yyvs/,"ut_vs")
    gsub(/yyrestart/,"ut_restart")
    gsub(/yy_switch_to_buffer/,"ut_switch_to_buffer")
    gsub(/yy_load_buffer_state/,"ut_load_buffer_state")
    gsub(/yy_buffer_state/,"ut_buffer_state")
    gsub(/yy_create_buffer/,"ut_create_buffer")
	gsub(/yy_current_buffer/,"ut_current_buffer")
    gsub(/yy_delete_buffer/,"ut_delete_buffer")
    gsub(/yy_init_buffer/,"ut_init_buffer")
    gsub(/yyin/,"ut_in")
	print
}

END{
}