1module "a0" { header "a0.h" export * } 2module "a1" { header "a1.h" export * } 3module "a2" { header "a2.h" export * } 4module "b" { header "b.h" export * } 5