let pointer_of_loc loc : D.pointer = Tint.pointer_of_xaddr loc