static int popCount(int i) {
  ret Int.bitCount(i);
}