let
base =
function
|
Addr
(b,_)
->
b
|
Ptr
p
->
model_base p