public static int f (int x, int y, int z) {
    int m = x;
    /* m == max(x) */
    if (m < y) { m = y; }

    if (m < z) { m = z; }

    return m;
  }