static int randomInt() {
  ret defaultRandomGenerator().nextInt();
}