class TEST5
feature
	value: INTEGER
		-- once ("OBJECT")
			-- Result := 25
		external "C inline"
		alias "14"
		end
end