let
bin_read_float64_mat_ =
Unsafe_read_c
.bin_read_float64_mat