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