/*
 *  This file is part of the Jikes RVM project (http://jikesrvm.org).
 *
 *  This file is licensed to You under the Common Public License (CPL);
 *  You may not use this file except in compliance with the License. You
 *  may obtain a copy of the License at
 *
 *      http://www.opensource.org/licenses/cpl1.0.php
 *
 *  See the COPYRIGHT.txt file distributed with this work for information
 *  regarding copyright ownership.
 */
public class tak_int{

  // int tak(int x, int y, int z);

  /*
  public static void main(String argv[])
  {
        int i;
        System.out.println("Tak is running\n");
        for (i=0; i<1000; i++){
          int result = tak(18,12,6);
//       System.out.println(result + "\n");
        }

        System.exit(0);
  }
  */

  static boolean run() {
    int i = tak_int.tak(18, 12, 6);
    System.out.println("Tak_int returned: " + i);
    return true;
  }

static int tak(int x, int y, int z) {
   if (y >= x) {
      return z;
   } else {
      return tak(tak(x-1, y, z),
                 tak(y-1, z, x),
                 tak(z-1, x, y));
   }
}

}
