deferred class TEST1

feature

	a: STRING
		require
			True
		attribute
		end

end