static int rand(int n) {
  ret random(n);
}