class TEST1 [H, G -> PROXIED]

feature
	new_tuple: TUPLE [like {G}.new_proxy]

end