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