class B
feature
	ba, bb,
-- 4
	bc,
	bd: INTEGER is unique
end