module numbers;

behavior Number {

    int number;

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

    void print(){
	standardOutput<-print(number+" ");
    }

    void inc(){
	number++;
    }
}