module Def1 {
  module B { header "b.h" }
  module C { header "c.h" }
}
module Def2 {
  header "d.h"
}