Save point: gray2bin