module MethodRequires {
  header "method-requires.h"
  export *
}