framework module Bad_Private {
  umbrella header "BadPrivate.h"
  export *
  module * { export * }
}