static int varyIntInRange(int i, int min, int max) {
  ret max(min, min(max, varyInt(i)));
}