let
offset =
function
|
Addr
(_,d)
->
d
|
Ptr
p
->
model_offset p