lextest2 has bug