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