class A;
class B;
class C;

class A
{
	A kovarianz() {}
};

class B : public A
{
	B kovarianz() {}
};

class C : public B
{
	C invariant (C & c);
};

int main()
{
	return 0;
}