class TEST3
feature
	a: INTEGER
	   once ("OBJECT")
	   	Result := 1
	   end

	b: INTEGER
	   once ("OBJECT")
	   	Result := 2
	   end

	c: INTEGER
	   once ("OBJECT")
	   	Result := 3
	   end

end