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

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