%{
import aterm.api.*;
import aterm.pure.*;
import java.util.*;

public class java-fib {

  private ATermFactory factory;
  
  private AFun fzero, fsuc, fplus,ffib;
  private ATermAppl tzero;

  public java-fib(ATermFactory factory) {
    this.factory = factory;

    fzero = factory.makeAFun("zero", 0, false);
    fsuc  = factory.makeAFun("suc" , 1, false);
    fplus = factory.makeAFun("plus", 2, false);
    ffib  = factory.makeAFun("fib" , 1, false);
    tzero = factory.makeAppl(fzero);
  }

  public void run(int n) {
      //System.out.println("run: " + n);
    ATerm N = tzero;
    for(int i=0 ; i