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