let input_char =
  let buf = String.create 1 in
  fun iz ->
    if input iz buf 0 1 = 0 then raise End_of_file
    else buf.[0]