framework module Repro {
  umbrella header "Repro.h"

  export *
  module * { export * }
}