let bin_write_float64_mat_ = Unsafe_write_c.bin_write_float64_mat