Symbol: addr_to_vb_xa