1module def { header "def.h" export * } 2module update { header "update.h" export * } 3 4module a1 { header "a1.h" export * } 5module a2 { header "a2.h" export * } 6module b1 { header "b1.h" export * } 7module b2 { header "b2.h" export * } 8module merge { header "merge.h" export * } 9module c { header "c.h" export * } 10