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