module numbers;

behavior AdderPrinter {

    Number number;

    AdderPrinter(Number number){
	this.number = number;
    }

    void go(){
	for (int i = 0; i< 10; i++){  
	   number<-print() @ number<-inc();
	}
    }

}