module X {
  explicit module Submodule {}
}

module Y {
  explicit module Submodule {}
}