class CC feature f: INTEGER do Result := 4 end end