static int max3(int a, int b, int c) {
  ret max(max(a, b), c);
}