static int min3(int a, int b, int c) {
  ret min(min(a, b), c);
}