let
bin_write_float64_mat_ =
Unsafe_write_c
.bin_write_float64_mat