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 * } 5 6 module merge00 { header "Inputs/stress1/merge00.h" export * } 7
