module a { textual header "a.h" }
module b { header "a.h" }
module c { header "a.h" }