let dump filename (data : I.t) = with_out_file filename begin fun ic -> output_string ic I.magic_number; output_value ic data end