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

// return value between 0 and n-1
static int randomInt(Random random, int n) {
  ret random(random, n);
}