let load m cv l =
    match l with
      | Mloc l -> value_of_mvalue (M.load m.mem cv l)
      | Path p -> fun_load m.env p