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