let
loc_of_path m p =
match
fun_load m.env p
with
|
V_pointer
(_,
Mloc
l)
->
l
|
_
->
assert
false