1framework module NoUmbrella {
2  umbrella "Headers"
3  module * { }
4
5  module unavailable {
6    requires unavailable
7    header "Boom.h"
8  }
9}
10