interface I class C : I by (object : I {})