let bin_read_nativeint_ = Unsafe_read_c.bin_read_nativeint