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))