static int randomInt() {
  ret defaultRandomGenerator.next(32);
}