hooks for yacc