JetFile: EmptyFile.jet
  NAMESPACE
    NAMESPACE_HEADER
      <empty list>