%%
%include Jflex8bits.include
   // version modifiée de Jflex.include pour avoir un vrai 8 bits !!!
%%
\t          { System.out.print("^I"); }   /* Tabulation,  cat -T */
\n          { System.out.print("$\n");}   /* Fin de ligne, cat -E */
[\177]      { System.out.print("^?"); }   /* ..., cat -v */
[\377]      { System.out.print("M-^?");}
[\000-\037] { System.out.print("^"+(char)(yytext().charAt(0)+64));}
[\240-\377] { System.out.print("M-"+(char)(yytext().charAt(0)-128));}
[\200-\237] { System.out.print("M-^"+(char)(yytext().charAt(0)-64));}
[^]         { ECHO(); }