class TEST1
inherit
	TEST2
		redefine
			is_valid, try
		end
feature

	is_valid: INTEGER
		external "C inline"
		alias "47 + 13"
		end
	
	try
		do
			precursor
		end

end