deferred class X1

feature
	f: ANY
		deferred
		end
end