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