class CC

feature

	f: INTEGER
		do
			Result := 12
		end

end