1module "a" { 2 textual header "a.h" 3} 4 5module "b" { 6 header "b.h" 7} 8 9module "c" { 10 header "c.h" 11} 12