class
   TEST1
 
feature {ANY}
 
	foo: INTEGER_32 assign set_foo
		external
			"C inline"
		alias
			"return 5;"
		ensure
			is_class: class
		end
 
	set_foo (a_foo: INTEGER_32)
		external
			"C inline"
		alias
			"printf(%"set_foo %%d\n%", $a_foo);"
		ensure
			is_class: class
		end
 
end