framework module Bad {
  umbrella header "Bad.h"
  export *
  module * { export * }
}