Added dummy code for yacc