module A {
    explicit module B {
        explicit module C { }
    }
}