class TEST3

feature

	weasel: INTEGER
		external "C inline"
			alias "47"
		ensure
			is_class: class
		end

end