class A [reference G]

feature
	
	f: G
		do
			Result := $VOID
		end

	x: $NONE	

end