Flex : the lexical scanner generator