let
object_of_loc =
function
|
Loc
l
->
l.obj
|
Addr
(_,cv)
->
cv