static int random_incl(int min, int max, Random random default defaultRandomizer()) {
  ret random(min, max+1, random);
}

static int random_incl(int max) {
  ret random(0, max+1);
}