let base_address m l = Mloc (M.base_address m.mem (mloc_of_loc l))