use BitSet rather than Set<Integer> for regs