let
loc_of_pointer _tp p : loc =
Tint
.xaddr_of_pointer p