class TEST3 [G $(CONSTRAINT)]
feature
	b: INTEGER = 47

end