let flush () = Format.fprintf s.outchannel "@?"