module ObjCStuff {
  header "ObjCStuff.h"
  export *
}