with Foo; with Bar; package A.B.C is new B (C);
