trait I;
class C with I with I;