A Lex-like scanner generator that produce Ada output from IRUS (Irvine Research Unit in Software). aflex comes with ayacc.