class
	TWO_INTS

feature
	int1: INTEGER_32

	int2: INTEGER_32

end