public void mergeKill(SlotSet kill) {
		grow(kill.size());
		big_loop: for (Iterator i = kill.iterator(); i.hasNext();) {
			LocalInfo li2 = (LocalInfo) i.next();
			if (!containsSlot(li2.getSlot()))
				add(li2.getLocalInfo());
		}
	}