module ObjCModule {
  header "objc-header.h"
  export *
}