public InstHit(int[] inst) { if (inst == null) return; hits = new IntHashtable(); for (int k = 0; k < inst.Length; ++k) hits[inst[k]] = 1; }