~ vestigial yacc product