framework module FromImportedModuleOK {
  header "FromImportedModuleOK.h"
  header "FromImportedModuleOK2.h"
}