class A 

feature
	f: FUNCTION [ANY, TUPLE, STRING] is
		do
			Result := agent: STRING do Result := "Hello from agent" end
		end

end