let bin_write_char_ = Unsafe_write_c.bin_write_char