class TEST1 [G]

feature
	integer_value_at (a_target: G; a_agent : like access_agent_template): INTEGER
		do
			
		end

	access_agent_template: ANY
		-- Access agent template
		do end

end