No one’s following lex.lxx3 yet