module F.Private [system] {
  explicit module NS {
      header "NS.h"
      export *
  }
  export *
}