let
offset =
function
|
Loc
l
->
l.off
|
Addr
(p,_)
->
model_offset p