let filter m inputs =
BaseMap.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