framework module Down {
  umbrella header "Down-umbrella.h"

  export *
  module * { export * }
}