arquivo temporario para yacc