let loc_of_pointer _tp p : loc =  Tint.xaddr_of_pointer p