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