class
	TEST1

feature

	constant: INTEGER = 12345

end