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