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