Symbol: addr_to_byte