class TEST

create
	make

feature {NONE} -- Initialization

	make
		local
			f: FUNCTION [ANY]
		do
			f := agent : INTEGER do Result := -1 end
			io.put_string (f.item (Void).out)
			io.put_string (f.item ([]).out)
			io.put_new_line

			f := agent g
			io.put_string (f.item (Void).out)
			io.put_string (f.item ([]).out)
			io.put_new_line
		end

	g: INTEGER
		do
			Result := -1
		end

end