let input_string iz n = if n < 0 then raise (Invalid_argument "Bgzf.input_string iz n: n should be non negative") ; let r = String.make n '@' in really_input iz r 0 n ; r