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