module X {
  module A { header "a.h" }
  module B { header "b.h" }
}
module Y {
  module C { header "c.h" }
  module D { header "d.h" }
}