Discussion about lex_zx_lex_0