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