IO.iodata_to_binary