rec_to_binaries
