Symbol: addr_to_additional