EXPECT_START
DocComment[DOC_COMMENT, pos:0
  preamble: 5
    Comment[COMMENT, pos:0, <!--_/nodynamiccopyright/_-->]
    StartElement[START_ELEMENT, pos:30
      name:HTML
      attributes: empty
    ]
    StartElement[START_ELEMENT, pos:37
      name:HEAD
      attributes: empty
    ]
    EndElement[END_ELEMENT, pos:44, HEAD]
    StartElement[START_ELEMENT, pos:52
      name:BODY
      attributes: empty
    ]
  firstSentence: 1
    Text[TEXT, pos:59, Html_document]
  body: 4
    StartElement[START_ELEMENT, pos:73
      name:pre
      attributes: empty
    ]
    Text[TEXT, pos:78, overview5.html]
    EndElement[END_ELEMENT, pos:92, pre]
    Text[TEXT, pos:98, .|Missing_enclosing_HTML]
  block tags: empty
  postamble: 1
    EndElement[END_ELEMENT, pos:123, BODY]
]
EXPECT_END