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