To_single_byte([#]char)