class TEST3
feature
	weasel: INTEGER
		external "C inline"
		alias "29"
		ensure
			is_class: class
		end
end