lex tests pass