1module m00 { header "Inputs/stress1/m00.h" export * } 2module m01 { header "Inputs/stress1/m01.h" export * } 3module m02 { header "Inputs/stress1/m02.h" export * } 4module m03 { header "Inputs/stress1/m03.h" export * } 5 6module merge_no_reexport { header "Inputs/stress1/merge_no_reexport.h" } 7module merge00 { header "Inputs/stress1/merge00.h" export * } 8