let load m cv l =
match l with
| Mloc l -> value_of_mvalue (M.load m.mem cv l)
| PRef p | Path p -> fun_load m p false
| ARef p -> fun_load m p true
| PRpar (p,0) -> fun_load m p false
| ARpar (p,0) -> fun_load m p true
| ARpar (p,n) -> V_pointer(cv,ARpar(pointed_of_path p,n-1))
| PRpar (p,n) -> V_pointer(cv,PRpar (pointed_of_path p,n-1))