let
offset =
function
|
Loc
(_,k)
->
k
|
Addr
p
->
model_offset p