let bin_write_int64_ = Unsafe_write_c.bin_write_int64