--| Copyright (c) 2008, David Hollenberg, USC Information Sciences Institute
--| All rights reserved.

class TEST1 [G -> STRING create make end]
create
	default_create

feature
	y: G
		attribute
			create Result.make (0)
		end
end