deferred class TEST1 [G -> INTEGER create default_create end]
feature
	try
		once ("OBJECT")
			(agent weasel).call ([29, 47])
		end

	weasel (a: INTEGER b: INTEGER)
		$(ROUTINE_MARK)
		end
	
end