contract C1 {} contract C2 is C1 {}