let
base =
function
|
Loc
l
->
l.base
|
Addr
(p,_)
->
model_base p