LE read() lexes fact code