let output_char =
  let buf = String.make 1 ' ' in
  fun oz c ->
    buf.[0] <- c ;
    output oz buf 0 1