Yacc compatibility, duplicate definitions