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