pre.ndf: added lexing section