lexer_lex now returns the number of tokens it pushed