yacc works