docs: public void keys(IntArrayList list) {
  	list.setSize(distinct);
  	int[] elements = list.elements();
  	
  	int[] tab = table;
  	byte[] stat = state;
  	
  	int j=0;
  	for (int i = tab.length ; i-- > 0 ;) {
  		if (stat[i]==FULL) elements[j++]=tab[i];
  	}
  }