Formatted mini_l.lex.