The node you are looking for is at gnat_rm/implementation_advice rm-13-7-1-16-address-operations.