let
loc_of_value =
function
|
M
.
V_pointer
(_,loc)
->
loc
|
_
->
assert
false