BatIO.out_chars
method put : char -> unit
method flush : unit -> unit
method close_out : unit -> unit