and the AhuException in Yacc