Addr is the address of object Obj. This can be used to get the address of an object or to get an object given its address.
Please note: This is a low level operation, passing an invalid address may crash the system.
both Obj and Addr are unbound.
Addr is not an integer.