JetFile: EmptyFile.jet
  NAMESPACE_HEADER
    <empty list>