let
base =
function
|
Loc
(x,_)
->
D
.
Xindex
.get_ind x
|
Addr
p
->
model_base p