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