let filter m inputs =
Base.Map.map
(fun (zone,loc) ->
Zone.narrow zone inputs,
(Locations.filter_loc
(Locations.make_loc
loc
(Int_Base.inject (Int.of_int (Bit_utils.sizeofpointer ()))))
inputs).Locations.loc)
m