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

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