module A { header "a.h" export * }
module B { module B1 { header "b1.h" export * } module B2 { header "b2.h" export * } }