19ab6d823SMichael Spencermodule header1 {
29ab6d823SMichael Spencer  header "header.h"
39ab6d823SMichael Spencer}
49ab6d823SMichael Spencer
59ab6d823SMichael Spencermodule header2 {
69ab6d823SMichael Spencer    header "header2.h"
79ab6d823SMichael Spencer}
8*c68f2472SAlex Lorenz
9*c68f2472SAlex Lorenzmodule header3 {
10*c68f2472SAlex Lorenz  header "header.h"
11*c68f2472SAlex Lorenz  header "header3.h"
12*c68f2472SAlex Lorenz}
13