import java.util.Random;

public class FindMax{

  public static native double findMax(double [1d] array);

  public static void main(String args[]){
    double [1d] array = new double[0:9];
    Random r = new Random(System.currentTimeMillis() * (1 + Ti.thisProc()));
    foreach (p in array.domain()){
      array[p] = r.nextDouble();
    }
    System.out.println("maximum is " + findMax(array));
  }
}