formatted yacc file