bison flex, something funny