class TEST5

feature

	value: INTEGER
		-- once ("OBJECT")
			-- Result := 25
		do
			Result := 14
		end

end