let output_string oz s =
  output oz s 0 (String.length s)