module ObjCFail {
  header "objcfail.h"
}