System.out.println("test 3");
  public void test3(int n) {    System.out.println("test 3");            ATermAppl N = tzero;    for(int i=0 ; i<n ; i++) {      N = factory.makeAppl(suc,N);    }      //System.out.println("N = " + N);        long start   = System.currentTimeMillis();    ATermAppl res = normalizeFib(factory.makeAppl(fib,N));    long end   = System.currentTimeMillis();      //System.out.println("fib(" + n + ") = " + res);    System.out.println("fib(" + n + ") in " + (end-start) + " ms");      //System.out.println(factory);  }