Do while Chars Input_file 
 - CharIn >Char_{8bit}< Input_file,
   Transform >C< Char_{8bit},
   CharOut Output_file C
;  
