class CC feature f (i: INTEGER) do end g (i: INTEGER): BOOLEAN do end end