let nset_empty = IntMap.empty