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