1 EXPECT_START

     2 DocComment[DOC_COMMENT, pos:0

     3   preamble: 4

     4     Comment[COMMENT, pos:0, <!--_/nodynamiccopyright/_-->]

     5     StartElement[START_ELEMENT, pos:30

     6       name:HTML

     7       attributes: empty

     8     ]

     9     StartElement[START_ELEMENT, pos:37

    10       name:HEAD

    11       attributes: empty

    12     ]

    13     StartElement[START_ELEMENT, pos:44

    14       name:BODY

    15       attributes: empty

    16     ]

    17   firstSentence: 1

    18     Text[TEXT, pos:51, Html_document]

    19   body: 4

    20     StartElement[START_ELEMENT, pos:65

    21       name:pre

    22       attributes: empty

    23     ]

    24     Text[TEXT, pos:70, overview3.html]

    25     EndElement[END_ELEMENT, pos:84, pre]

    26     Text[TEXT, pos:90, .|Missing_enclosing_HEAD.]

    27   block tags: empty

    28   postamble: 2

    29     EndElement[END_ELEMENT, pos:116, BODY]

    30     EndElement[END_ELEMENT, pos:124, HTML]

    31 ]

    32 EXPECT_END