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