/[suikacvs]/markup/html/whatpm/Whatpm/HTML.pm.src

Diff of /markup/html/whatpm/Whatpm/HTML.pm.src

Parent Directory | Revision Log | View Patch Patch

-revision 1.76 by wakaba,
Mon Mar  3 09:17:10 2008 UTC
+revision 1.124 by wakaba,
Sun Apr  6 10:34:11 2008 UTC
 Line 12 
 use Error qw(:try);
  ## TODO: 1252 parse error (revision 1264)
  ## TODO: 8859-11 = 874 (revision 1271)
+ sub A_EL () { 0b1 }
+ sub ADDRESS_EL () { 0b10 }
+ sub BODY_EL () { 0b100 }
+ sub BUTTON_EL () { 0b1000 }
+ sub CAPTION_EL () { 0b10000 }
+ sub DD_EL () { 0b100000 }
+ sub DIV_EL () { 0b1000000 }
+ sub DT_EL () { 0b10000000 }
+ sub FORM_EL () { 0b100000000 }
+ sub FORMATTING_EL () { 0b1000000000 }
+ sub FRAMESET_EL () { 0b10000000000 }
+ sub HEADING_EL () { 0b100000000000 }
+ sub HTML_EL () { 0b1000000000000 }
+ sub LI_EL () { 0b10000000000000 }
+ sub NOBR_EL () { 0b100000000000000 }
+ sub OPTION_EL () { 0b1000000000000000 }
+ sub OPTGROUP_EL () { 0b10000000000000000 }
+ sub P_EL () { 0b100000000000000000 }
+ sub SELECT_EL () { 0b1000000000000000000 }
+ sub TABLE_EL () { 0b10000000000000000000 }
+ sub TABLE_CELL_EL () { 0b100000000000000000000 }
+ sub TABLE_ROW_EL () { 0b1000000000000000000000 }
+ sub TABLE_ROW_GROUP_EL () { 0b10000000000000000000000 }
+ sub MISC_SCOPING_EL () { 0b100000000000000000000000 }
+ sub MISC_SPECIAL_EL () { 0b1000000000000000000000000 }
+ sub TABLE_ROWS_EL () {
+   TABLE_EL |
+   TABLE_ROW_EL |
+   TABLE_ROW_GROUP_EL
+ }
+ sub END_TAG_OPTIONAL_EL () {
+   DD_EL |
+   DT_EL |
+   LI_EL |
+   P_EL
+ }
+ sub ALL_END_TAG_OPTIONAL_EL () {
+   END_TAG_OPTIONAL_EL |
+   BODY_EL |
+   HTML_EL |
+   TABLE_CELL_EL |
+   TABLE_ROW_EL |
+   TABLE_ROW_GROUP_EL
+ }
+ sub SCOPING_EL () {
+   BUTTON_EL |
+   CAPTION_EL |
+   HTML_EL |
+   TABLE_EL |
+   TABLE_CELL_EL |
+   MISC_SCOPING_EL
+ }
+ sub TABLE_SCOPING_EL () {
+   HTML_EL |
+   TABLE_EL
+ }
+ sub TABLE_ROWS_SCOPING_EL () {
+   HTML_EL |
+   TABLE_ROW_GROUP_EL
+ }
+ sub TABLE_ROW_SCOPING_EL () {
+   HTML_EL |
+   TABLE_ROW_EL
+ }
+ sub SPECIAL_EL () {
+   ADDRESS_EL |
+   BODY_EL |
+   DIV_EL |
+   END_TAG_OPTIONAL_EL |
+   FORM_EL |
+   FRAMESET_EL |
+   HEADING_EL |
+   OPTION_EL |
+   OPTGROUP_EL |
+   SELECT_EL |
+   TABLE_ROW_EL |
+   TABLE_ROW_GROUP_EL |
+   MISC_SPECIAL_EL
+ }
+ my $el_category = {
+   a => A_EL | FORMATTING_EL,
+   address => ADDRESS_EL,
+   applet => MISC_SCOPING_EL,
+   area => MISC_SPECIAL_EL,
+   b => FORMATTING_EL,
+   base => MISC_SPECIAL_EL,
+   basefont => MISC_SPECIAL_EL,
+   bgsound => MISC_SPECIAL_EL,
+   big => FORMATTING_EL,
+   blockquote => MISC_SPECIAL_EL,
+   body => BODY_EL,
+   br => MISC_SPECIAL_EL,
+   button => BUTTON_EL,
+   caption => CAPTION_EL,
+   center => MISC_SPECIAL_EL,
+   col => MISC_SPECIAL_EL,
+   colgroup => MISC_SPECIAL_EL,
+   dd => DD_EL,
+   dir => MISC_SPECIAL_EL,
+   div => DIV_EL,
+   dl => MISC_SPECIAL_EL,
+   dt => DT_EL,
+   em => FORMATTING_EL,
+   embed => MISC_SPECIAL_EL,
+   fieldset => MISC_SPECIAL_EL,
+   font => FORMATTING_EL,
+   form => FORM_EL,
+   frame => MISC_SPECIAL_EL,
+   frameset => FRAMESET_EL,
+   h1 => HEADING_EL,
+   h2 => HEADING_EL,
+   h3 => HEADING_EL,
+   h4 => HEADING_EL,
+   h5 => HEADING_EL,
+   h6 => HEADING_EL,
+   head => MISC_SPECIAL_EL,
+   hr => MISC_SPECIAL_EL,
+   html => HTML_EL,
+   i => FORMATTING_EL,
+   iframe => MISC_SPECIAL_EL,
+   img => MISC_SPECIAL_EL,
+   input => MISC_SPECIAL_EL,
+   isindex => MISC_SPECIAL_EL,
+   li => LI_EL,
+   link => MISC_SPECIAL_EL,
+   listing => MISC_SPECIAL_EL,
+   marquee => MISC_SCOPING_EL,
+   menu => MISC_SPECIAL_EL,
+   meta => MISC_SPECIAL_EL,
+   nobr => NOBR_EL | FORMATTING_EL,
+   noembed => MISC_SPECIAL_EL,
+   noframes => MISC_SPECIAL_EL,
+   noscript => MISC_SPECIAL_EL,
+   object => MISC_SCOPING_EL,
+   ol => MISC_SPECIAL_EL,
+   optgroup => OPTGROUP_EL,
+   option => OPTION_EL,
+   p => P_EL,
+   param => MISC_SPECIAL_EL,
+   plaintext => MISC_SPECIAL_EL,
+   pre => MISC_SPECIAL_EL,
+   s => FORMATTING_EL,
+   script => MISC_SPECIAL_EL,
+   select => SELECT_EL,
+   small => FORMATTING_EL,
+   spacer => MISC_SPECIAL_EL,
+   strike => FORMATTING_EL,
+   strong => FORMATTING_EL,
+   style => MISC_SPECIAL_EL,
+   table => TABLE_EL,
+   tbody => TABLE_ROW_GROUP_EL,
+   td => TABLE_CELL_EL,
+   textarea => MISC_SPECIAL_EL,
+   tfoot => TABLE_ROW_GROUP_EL,
+   th => TABLE_CELL_EL,
+   thead => TABLE_ROW_GROUP_EL,
+   title => MISC_SPECIAL_EL,
+   tr => TABLE_ROW_EL,
+   tt => FORMATTING_EL,
+   u => FORMATTING_EL,
+   ul => MISC_SPECIAL_EL,
+   wbr => MISC_SPECIAL_EL,
+ };
  my $permitted_slash_tag_name = {
    base => 1,
    link => 1,
-Line 61 
 my $c1_entity_char = {
+Line 234 
 my $c1_entity_char = {
 x9F => 0x0178,
  }; # $c1_entity_char
- my $special_category = {
-   address => 1, area => 1, base => 1, basefont => 1, bgsound => 1,
-   blockquote => 1, body => 1, br => 1, center => 1, col => 1, colgroup => 1,
-   dd => 1, dir => 1, div => 1, dl => 1, dt => 1, embed => 1, fieldset => 1,
-   form => 1, frame => 1, frameset => 1, h1 => 1, h2 => 1, h3 => 1,
-   h4 => 1, h5 => 1, h6 => 1, head => 1, hr => 1, iframe => 1, image => 1,
-   img => 1, input => 1, isindex => 1, li => 1, link => 1, listing => 1,
-   menu => 1, meta => 1, noembed => 1, noframes => 1, noscript => 1,
-   ol => 1, optgroup => 1, option => 1, p => 1, param => 1, plaintext => 1,
-   pre => 1, script => 1, select => 1, spacer => 1, style => 1, tbody => 1,
-   textarea => 1, tfoot => 1, thead => 1, title => 1, tr => 1, ul => 1, wbr => 1,
- };
- my $scoping_category = {
-   button => 1, caption => 1, html => 1, marquee => 1, object => 1,
-   table => 1, td => 1, th => 1,
- };
- my $formatting_category = {
-   a => 1, b => 1, big => 1, em => 1, font => 1, i => 1, nobr => 1,
-   s => 1, small => 1, strile => 1, strong => 1, tt => 1, u => 1,
- };
- # $phrasing_category: all other elements
  sub parse_byte_string ($$$$;$) {
    my $self = ref $_[0] ? shift : shift->new;
    my $charset = shift;
-Line 108 
 sub parse_byte_string ($$$$;$) {
+Line 259 
 sub parse_byte_string ($$$$;$) {
    $self->{change_encoding} = sub {
      my $self = shift;
      my $charset = lc shift;
+     my $token = shift;
      ## TODO: if $charset is supported
      ## TODO: normalize charset name
-Line 126 
 sub parse_byte_string ($$$$;$) {
+Line 278 
 sub parse_byte_string ($$$$;$) {
      }
      !!!parse-error (type => 'charset label detected:'.$self->{input_encoding}.
-         ':'.$charset, level => 'w');
+         ':'.$charset, level => 'w', token => $token);
      ## Step 3
      # if (can) {
-Line 177 
 sub parse_string ($$$;$) {
+Line 329 
 sub parse_string ($$$;$) {
        if defined $self->{input_encoding};
    my $i = 0;
-   my $line = 1;
+   $self->{line_prev} = $self->{line} = 1;
-   my $column = 0;
+   $self->{column_prev} = $self->{column} = 0;
    $self->{set_next_char} = sub {
      my $self = shift;
-Line 187 
 sub parse_string ($$$;$) {
+Line 339 
 sub parse_string ($$$;$) {
      $self->{next_char} = -1 and return if $i >= length $$s;
      $self->{next_char} = ord substr $$s, $i++, 1;
-     $column++;
+     ($self->{line_prev}, $self->{column_prev})
+         = ($self->{line}, $self->{column});
+     $self->{column}++;
      if ($self->{next_char} == 0x000A) { # LF
-       $line++;
+       $self->{line}++;
-       $column = 0;
+       $self->{column} = 0;
      } elsif ($self->{next_char} == 0x000D) { # CR
        $i++ if substr ($$s, $i, 1) eq "\x0A";
        $self->{next_char} = 0x000A; # LF # MUST
-       $line++;
+       $self->{line}++;
-       $column = 0;
+       $self->{column} = 0;
      } elsif ($self->{next_char} > 0x10FFFF) {
        $self->{next_char} = 0xFFFD; # REPLACEMENT CHARACTER # MUST
      } elsif ($self->{next_char} == 0x0000) { # NULL
-Line 209 
 sub parse_string ($$$;$) {
+Line 364 
 sub parse_string ($$$;$) {
    my $onerror = $_[2] || sub {
      my (%opt) = @_;
-     warn "Parse error ($opt{type}) at line $opt{line} column $opt{column}\n";
+     my $line = $opt{token} ? $opt{token}->{line} : $opt{line};
+     my $column = $opt{token} ? $opt{token}->{column} : $opt{column};
+     warn "Parse error ($opt{type}) at line $line column $column\n";
    };
    $self->{parse_error} = sub {
-     $onerror->(@_, line => $line, column => $column);
+     $onerror->(line => $self->{line}, column => $self->{column}, @_);
    };
    $self->_initialize_tokenizer;
-Line 220 
 sub parse_string ($$$;$) {
+Line 377 
 sub parse_string ($$$;$) {
    $self->_construct_tree;
    $self->_terminate_tree_constructor;
+   delete $self->{parse_error}; # remove loop
    return $self->{document};
  } # parse_string
-Line 303 
 sub TABLE_IMS ()      { 0b1000000 }
+Line 462 
 sub TABLE_IMS ()      { 0b1000000 }
  sub ROW_IMS ()        { 0b10000000 }
  sub BODY_AFTER_IMS () { 0b100000000 }
  sub FRAME_IMS ()      { 0b1000000000 }
+ sub SELECT_IMS ()     { 0b10000000000 }
+ ## NOTE: "initial" and "before html" insertion modes have no constants.
+ ## NOTE: "after after body" insertion mode.
  sub AFTER_HTML_BODY_IM () { AFTER_HTML_IMS | BODY_AFTER_IMS }
+ ## NOTE: "after after frameset" insertion mode.
  sub AFTER_HTML_FRAMESET_IM () { AFTER_HTML_IMS | FRAME_IMS }
  sub IN_HEAD_IM () { HEAD_IMS | 0b00 }
  sub IN_HEAD_NOSCRIPT_IM () { HEAD_IMS | 0b01 }
  sub AFTER_HEAD_IM () { HEAD_IMS | 0b10 }
-Line 319 
 sub IN_TABLE_IM () { TABLE_IMS }
+Line 485 
 sub IN_TABLE_IM () { TABLE_IMS }
  sub AFTER_BODY_IM () { BODY_AFTER_IMS }
  sub IN_FRAMESET_IM () { FRAME_IMS | 0b01 }
  sub AFTER_FRAMESET_IM () { FRAME_IMS | 0b10 }
- sub IN_SELECT_IM () { 0b01 }
+ sub IN_SELECT_IM () { SELECT_IMS | 0b01 }
+ sub IN_SELECT_IN_TABLE_IM () { SELECT_IMS | 0b10 }
  sub IN_COLUMN_GROUP_IM () { 0b10 }
  ## Implementations MUST act as if state machine in the spec
-Line 387 
 sub _get_next_token ($) {
+Line 554 
 sub _get_next_token ($) {
        if ($self->{next_char} == 0x0026) { # &
          if ($self->{content_model} & CM_ENTITY and # PCDATA | RCDATA
              not $self->{escape}) {
+           !!!cp (1);
            $self->{state} = ENTITY_DATA_STATE;
            !!!next-input-character;
            redo A;
          } else {
+           !!!cp (2);
            #
          }
        } elsif ($self->{next_char} == 0x002D) { # -
-Line 399 
 sub _get_next_token ($) {
+Line 568 
 sub _get_next_token ($) {
              if ($self->{prev_char}->[0] == 0x002D and # -
                  $self->{prev_char}->[1] == 0x0021 and # !
                  $self->{prev_char}->[2] == 0x003C) { # <
+               !!!cp (3);
                $self->{escape} = 1;
+             } else {
+               !!!cp (4);
              }
+           } else {
+             !!!cp (5);
            }
          }
-Line 409 
 sub _get_next_token ($) {
+Line 583 
 sub _get_next_token ($) {
          if ($self->{content_model} & CM_FULL_MARKUP or # PCDATA
              (($self->{content_model} & CM_LIMITED_MARKUP) and # CDATA | RCDATA
               not $self->{escape})) {
+           !!!cp (6);
            $self->{state} = TAG_OPEN_STATE;
            !!!next-input-character;
            redo A;
          } else {
+           !!!cp (7);
            #
          }
        } elsif ($self->{next_char} == 0x003E) { # >
-Line 420 
 sub _get_next_token ($) {
+Line 596 
 sub _get_next_token ($) {
              ($self->{content_model} & CM_LIMITED_MARKUP)) { # RCDATA | CDATA
            if ($self->{prev_char}->[0] == 0x002D and # -
                $self->{prev_char}->[1] == 0x002D) { # -
+             !!!cp (8);
              delete $self->{escape};
+           } else {
+             !!!cp (9);
            }
+         } else {
+           !!!cp (10);
          }
          #
        } elsif ($self->{next_char} == -1) {
-         !!!emit ({type => END_OF_FILE_TOKEN});
+         !!!cp (11);
+         !!!emit ({type => END_OF_FILE_TOKEN,
+                   line => $self->{line}, column => $self->{column}});
          last A; ## TODO: ok?
+       } else {
+         !!!cp (12);
        }
        # Anything else
        my $token = {type => CHARACTER_TOKEN,
-                    data => chr $self->{next_char}};
+                    data => chr $self->{next_char},
+                    line => $self->{line}, column => $self->{column},
+                   };
        ## Stay in the data state
        !!!next-input-character;
-Line 440 
 sub _get_next_token ($) {
+Line 627 
 sub _get_next_token ($) {
        redo A;
      } elsif ($self->{state} == ENTITY_DATA_STATE) {
        ## (cannot happen in CDATA state)
+       my ($l, $c) = ($self->{line_prev}, $self->{column_prev});
        my $token = $self->_tokenize_attempt_to_consume_an_entity (0, -1);
-Line 447 
 sub _get_next_token ($) {
+Line 636 
 sub _get_next_token ($) {
        # next-input-character is already done
        unless (defined $token) {
-         !!!emit ({type => CHARACTER_TOKEN, data => '&'});
+         !!!cp (13);
+         !!!emit ({type => CHARACTER_TOKEN, data => '&',
+                   line => $l, column => $c,
+                  });
        } else {
+         !!!cp (14);
          !!!emit ($token);
        }
-Line 456 
 sub _get_next_token ($) {
+Line 649 
 sub _get_next_token ($) {
      } elsif ($self->{state} == TAG_OPEN_STATE) {
        if ($self->{content_model} & CM_LIMITED_MARKUP) { # RCDATA | CDATA
          if ($self->{next_char} == 0x002F) { # /
+           !!!cp (15);
            !!!next-input-character;
            $self->{state} = CLOSE_TAG_OPEN_STATE;
            redo A;
          } else {
+           !!!cp (16);
            ## reconsume
            $self->{state} = DATA_STATE;
-           !!!emit ({type => CHARACTER_TOKEN, data => '<'});
+           !!!emit ({type => CHARACTER_TOKEN, data => '<',
+                     line => $self->{line_prev},
+                     column => $self->{column_prev},
+                    });
            redo A;
          }
        } elsif ($self->{content_model} & CM_FULL_MARKUP) { # PCDATA
          if ($self->{next_char} == 0x0021) { # !
+           !!!cp (17);
            $self->{state} = MARKUP_DECLARATION_OPEN_STATE;
            !!!next-input-character;
            redo A;
          } elsif ($self->{next_char} == 0x002F) { # /
+           !!!cp (18);
            $self->{state} = CLOSE_TAG_OPEN_STATE;
            !!!next-input-character;
            redo A;
          } elsif (0x0041 <= $self->{next_char} and
                   $self->{next_char} <= 0x005A) { # A..Z
+           !!!cp (19);
            $self->{current_token}
              = {type => START_TAG_TOKEN,
-                tag_name => chr ($self->{next_char} + 0x0020)};
+                tag_name => chr ($self->{next_char} + 0x0020),
+                line => $self->{line_prev},
+                column => $self->{column_prev}};
            $self->{state} = TAG_NAME_STATE;
            !!!next-input-character;
            redo A;
          } elsif (0x0061 <= $self->{next_char} and
                   $self->{next_char} <= 0x007A) { # a..z
+           !!!cp (20);
            $self->{current_token} = {type => START_TAG_TOKEN,
-                             tag_name => chr ($self->{next_char})};
+                                     tag_name => chr ($self->{next_char}),
+                                     line => $self->{line_prev},
+                                     column => $self->{column_prev}};
            $self->{state} = TAG_NAME_STATE;
            !!!next-input-character;
            redo A;
          } elsif ($self->{next_char} == 0x003E) { # >
-           !!!parse-error (type => 'empty start tag');
+           !!!cp (21);
+           !!!parse-error (type => 'empty start tag',
+                           line => $self->{line_prev},
+                           column => $self->{column_prev});
            $self->{state} = DATA_STATE;
            !!!next-input-character;
-           !!!emit ({type => CHARACTER_TOKEN, data => '<>'});
+           !!!emit ({type => CHARACTER_TOKEN, data => '<>',
+                     line => $self->{line_prev},
+                     column => $self->{column_prev},
+                    });
            redo A;
          } elsif ($self->{next_char} == 0x003F) { # ?
-           !!!parse-error (type => 'pio');
+           !!!cp (22);
+           !!!parse-error (type => 'pio',
+                           line => $self->{line_prev},
+                           column => $self->{column_prev});
            $self->{state} = BOGUS_COMMENT_STATE;
+           $self->{current_token} = {type => COMMENT_TOKEN, data => '',
+                                     line => $self->{line_prev},
+                                     column => $self->{column_prev},
+                                    };
            ## $self->{next_char} is intentionally left as is
            redo A;
          } else {
+           !!!cp (23);
            !!!parse-error (type => 'bare stago');
            $self->{state} = DATA_STATE;
            ## reconsume
-           !!!emit ({type => CHARACTER_TOKEN, data => '<'});
+           !!!emit ({type => CHARACTER_TOKEN, data => '<',
+                     line => $self->{line_prev},
+                     column => $self->{column_prev},
+                    });
            redo A;
          }
-Line 517 
 sub _get_next_token ($) {
+Line 740 
 sub _get_next_token ($) {
          die "$0: $self->{content_model} in tag open";
        }
      } elsif ($self->{state} == CLOSE_TAG_OPEN_STATE) {
+       my ($l, $c) = ($self->{line_prev}, $self->{column_prev} - 1); # "<"of"</"
        if ($self->{content_model} & CM_LIMITED_MARKUP) { # RCDATA | CDATA
          if (defined $self->{last_emitted_start_tag_name}) {
            ## NOTE: <http://krijnhoetmer.nl/irc-logs/whatwg/20070626#l-564>
            my @next_char;
            TAGNAME: for (my $i = 0; $i < length $self->{last_emitted_start_tag_name}; $i++) {
-Line 526 
 sub _get_next_token ($) {
+Line 751 
 sub _get_next_token ($) {
              my $c = ord substr ($self->{last_emitted_start_tag_name}, $i, 1);
              my $C = 0x0061 <= $c && $c <= 0x007A ? $c - 0x0020 : $c;
              if ($self->{next_char} == $c or $self->{next_char} == $C) {
+               !!!cp (24);
                !!!next-input-character;
                next TAGNAME;
              } else {
+               !!!cp (25);
                $self->{next_char} = shift @next_char; # reconsume
                !!!back-next-input-character (@next_char);
                $self->{state} = DATA_STATE;
-               !!!emit ({type => CHARACTER_TOKEN, data => '</'});
+               !!!emit ({type => CHARACTER_TOKEN, data => '</',
+                         line => $l, column => $c,
+                        });
                redo A;
              }
-Line 548 
 sub _get_next_token ($) {
+Line 777 
 sub _get_next_token ($) {
                    $self->{next_char} == 0x003E or # >
                    $self->{next_char} == 0x002F or # /
                    $self->{next_char} == -1) {
+             !!!cp (26);
              $self->{next_char} = shift @next_char; # reconsume
              !!!back-next-input-character (@next_char);
              $self->{state} = DATA_STATE;
-             !!!emit ({type => CHARACTER_TOKEN, data => '</'});
+             !!!emit ({type => CHARACTER_TOKEN, data => '</',
+                       line => $l, column => $c,
+                      });
              redo A;
            } else {
+             !!!cp (27);
              $self->{next_char} = shift @next_char;
              !!!back-next-input-character (@next_char);
              # and consume...
            }
          } else {
            ## No start tag token has ever been emitted
+           !!!cp (28);
            # next-input-character is already done
            $self->{state} = DATA_STATE;
-           !!!emit ({type => CHARACTER_TOKEN, data => '</'});
+           !!!emit ({type => CHARACTER_TOKEN, data => '</',
+                     line => $l, column => $c,
+                    });
            redo A;
          }
        }
        if (0x0041 <= $self->{next_char} and
            $self->{next_char} <= 0x005A) { # A..Z
-         $self->{current_token} = {type => END_TAG_TOKEN,
+         !!!cp (29);
-                           tag_name => chr ($self->{next_char} + 0x0020)};
+         $self->{current_token}
+             = {type => END_TAG_TOKEN,
+                tag_name => chr ($self->{next_char} + 0x0020),
+                line => $l, column => $c};
          $self->{state} = TAG_NAME_STATE;
          !!!next-input-character;
          redo A;
        } elsif (0x0061 <= $self->{next_char} and
                 $self->{next_char} <= 0x007A) { # a..z
+         !!!cp (30);
          $self->{current_token} = {type => END_TAG_TOKEN,
-                           tag_name => chr ($self->{next_char})};
+                                   tag_name => chr ($self->{next_char}),
+                                   line => $l, column => $c};
          $self->{state} = TAG_NAME_STATE;
          !!!next-input-character;
          redo A;
        } elsif ($self->{next_char} == 0x003E) { # >
-         !!!parse-error (type => 'empty end tag');
+         !!!cp (31);
+         !!!parse-error (type => 'empty end tag',
+                         line => $self->{line_prev}, ## "<" in "</>"
+                         column => $self->{column_prev} - 1);
          $self->{state} = DATA_STATE;
          !!!next-input-character;
          redo A;
        } elsif ($self->{next_char} == -1) {
+         !!!cp (32);
          !!!parse-error (type => 'bare etago');
          $self->{state} = DATA_STATE;
          # reconsume
-         !!!emit ({type => CHARACTER_TOKEN, data => '</'});
+         !!!emit ({type => CHARACTER_TOKEN, data => '</',
+                   line => $l, column => $c,
+                  });
          redo A;
        } else {
+         !!!cp (33);
          !!!parse-error (type => 'bogus end tag');
          $self->{state} = BOGUS_COMMENT_STATE;
+         $self->{current_token} = {type => COMMENT_TOKEN, data => '',
+                                   line => $self->{line_prev}, # "<" of "</"
+                                   column => $self->{column_prev} - 1,
+                                  };
          ## $self->{next_char} is intentionally left as is
          redo A;
        }
-Line 606 
 sub _get_next_token ($) {
+Line 858 
 sub _get_next_token ($) {
            $self->{next_char} == 0x000B or # VT
            $self->{next_char} == 0x000C or # FF
            $self->{next_char} == 0x0020) { # SP
+         !!!cp (34);
          $self->{state} = BEFORE_ATTRIBUTE_NAME_STATE;
          !!!next-input-character;
          redo A;
        } elsif ($self->{next_char} == 0x003E) { # >
          if ($self->{current_token}->{type} == START_TAG_TOKEN) {
-           $self->{current_token}->{first_start_tag}
+           !!!cp (35);
-               = not defined $self->{last_emitted_start_tag_name};
            $self->{last_emitted_start_tag_name} = $self->{current_token}->{tag_name};
          } elsif ($self->{current_token}->{type} == END_TAG_TOKEN) {
            $self->{content_model} = PCDATA_CONTENT_MODEL; # MUST
-           if ($self->{current_token}->{attributes}) {
+           #if ($self->{current_token}->{attributes}) {
-             !!!parse-error (type => 'end tag attribute');
+           #  ## NOTE: This should never be reached.
-           }
+           #  !!! cp (36);
+           #  !!! parse-error (type => 'end tag attribute');
+           #} else {
+             !!!cp (37);
+           #}
          } else {
            die "$0: $self->{current_token}->{type}: Unknown token type";
          }
-Line 630 
 sub _get_next_token ($) {
+Line 886 
 sub _get_next_token ($) {
          redo A;
        } elsif (0x0041 <= $self->{next_char} and
                 $self->{next_char} <= 0x005A) { # A..Z
+         !!!cp (38);
          $self->{current_token}->{tag_name} .= chr ($self->{next_char} + 0x0020);
            # start tag or end tag
          ## Stay in this state
-Line 638 
 sub _get_next_token ($) {
+Line 895 
 sub _get_next_token ($) {
        } elsif ($self->{next_char} == -1) {
          !!!parse-error (type => 'unclosed tag');
          if ($self->{current_token}->{type} == START_TAG_TOKEN) {
-           $self->{current_token}->{first_start_tag}
+           !!!cp (39);
-               = not defined $self->{last_emitted_start_tag_name};
            $self->{last_emitted_start_tag_name} = $self->{current_token}->{tag_name};
          } elsif ($self->{current_token}->{type} == END_TAG_TOKEN) {
            $self->{content_model} = PCDATA_CONTENT_MODEL; # MUST
-           if ($self->{current_token}->{attributes}) {
+           #if ($self->{current_token}->{attributes}) {
-             !!!parse-error (type => 'end tag attribute');
+           #  ## NOTE: This state should never be reached.
-           }
+           #  !!! cp (40);
+           #  !!! parse-error (type => 'end tag attribute');
+           #} else {
+             !!!cp (41);
+           #}
          } else {
            die "$0: $self->{current_token}->{type}: Unknown token type";
          }
-Line 661 
 sub _get_next_token ($) {
+Line 921 
 sub _get_next_token ($) {
              $self->{current_token}->{type} == START_TAG_TOKEN and
              $permitted_slash_tag_name->{$self->{current_token}->{tag_name}}) {
            # permitted slash
+           !!!cp (42);
            #
          } else {
+           !!!cp (43);
            !!!parse-error (type => 'nestc');
          }
          $self->{state} = BEFORE_ATTRIBUTE_NAME_STATE;
          # next-input-character is already done
          redo A;
        } else {
+         !!!cp (44);
          $self->{current_token}->{tag_name} .= chr $self->{next_char};
            # start tag or end tag
          ## Stay in the state
-Line 681 
 sub _get_next_token ($) {
+Line 944 
 sub _get_next_token ($) {
            $self->{next_char} == 0x000B or # VT
            $self->{next_char} == 0x000C or # FF
            $self->{next_char} == 0x0020) { # SP
+         !!!cp (45);
          ## Stay in the state
          !!!next-input-character;
          redo A;
        } elsif ($self->{next_char} == 0x003E) { # >
          if ($self->{current_token}->{type} == START_TAG_TOKEN) {
-           $self->{current_token}->{first_start_tag}
+           !!!cp (46);
-               = not defined $self->{last_emitted_start_tag_name};
            $self->{last_emitted_start_tag_name} = $self->{current_token}->{tag_name};
          } elsif ($self->{current_token}->{type} == END_TAG_TOKEN) {
            $self->{content_model} = PCDATA_CONTENT_MODEL; # MUST
            if ($self->{current_token}->{attributes}) {
+             !!!cp (47);
              !!!parse-error (type => 'end tag attribute');
+           } else {
+             !!!cp (48);
            }
          } else {
            die "$0: $self->{current_token}->{type}: Unknown token type";
-Line 705 
 sub _get_next_token ($) {
+Line 971 
 sub _get_next_token ($) {
          redo A;
        } elsif (0x0041 <= $self->{next_char} and
                 $self->{next_char} <= 0x005A) { # A..Z
-         $self->{current_attribute} = {name => chr ($self->{next_char} + 0x0020),
+         !!!cp (49);
-                               value => ''};
+         $self->{current_attribute}
+             = {name => chr ($self->{next_char} + 0x0020),
+                value => '',
+                line => $self->{line}, column => $self->{column}};
          $self->{state} = ATTRIBUTE_NAME_STATE;
          !!!next-input-character;
          redo A;
-Line 716 
 sub _get_next_token ($) {
+Line 985 
 sub _get_next_token ($) {
              $self->{current_token}->{type} == START_TAG_TOKEN and
              $permitted_slash_tag_name->{$self->{current_token}->{tag_name}}) {
            # permitted slash
+           !!!cp (50);
            #
          } else {
+           !!!cp (51);
            !!!parse-error (type => 'nestc');
          }
          ## Stay in the state
-Line 726 
 sub _get_next_token ($) {
+Line 997 
 sub _get_next_token ($) {
        } elsif ($self->{next_char} == -1) {
          !!!parse-error (type => 'unclosed tag');
          if ($self->{current_token}->{type} == START_TAG_TOKEN) {
-           $self->{current_token}->{first_start_tag}
+           !!!cp (52);
-               = not defined $self->{last_emitted_start_tag_name};
            $self->{last_emitted_start_tag_name} = $self->{current_token}->{tag_name};
          } elsif ($self->{current_token}->{type} == END_TAG_TOKEN) {
            $self->{content_model} = PCDATA_CONTENT_MODEL; # MUST
            if ($self->{current_token}->{attributes}) {
+             !!!cp (53);
              !!!parse-error (type => 'end tag attribute');
+           } else {
+             !!!cp (54);
            }
          } else {
            die "$0: $self->{current_token}->{type}: Unknown token type";
-Line 749 
 sub _get_next_token ($) {
+Line 1022 
 sub _get_next_token ($) {
 x0027 => 1, # '
 x003D => 1, # =
              }->{$self->{next_char}}) {
+           !!!cp (55);
            !!!parse-error (type => 'bad attribute name');
+         } else {
+           !!!cp (56);
          }
-         $self->{current_attribute} = {name => chr ($self->{next_char}),
+         $self->{current_attribute}
-                               value => ''};
+             = {name => chr ($self->{next_char}),
+                value => '',
+                line => $self->{line}, column => $self->{column}};
          $self->{state} = ATTRIBUTE_NAME_STATE;
          !!!next-input-character;
          redo A;
-Line 761 
 sub _get_next_token ($) {
+Line 1039 
 sub _get_next_token ($) {
        my $before_leave = sub {
          if (exists $self->{current_token}->{attributes} # start tag or end tag
              ->{$self->{current_attribute}->{name}}) { # MUST
-           !!!parse-error (type => 'duplicate attribute:'.$self->{current_attribute}->{name});
+           !!!cp (57);
+           !!!parse-error (type => 'duplicate attribute:'.$self->{current_attribute}->{name}, line => $self->{current_attribute}->{line}, column => $self->{current_attribute}->{column});
            ## Discard $self->{current_attribute} # MUST
          } else {
+           !!!cp (58);
            $self->{current_token}->{attributes}->{$self->{current_attribute}->{name}}
              = $self->{current_attribute};
          }
-Line 774 
 sub _get_next_token ($) {
+Line 1054 
 sub _get_next_token ($) {
            $self->{next_char} == 0x000B or # VT
            $self->{next_char} == 0x000C or # FF
            $self->{next_char} == 0x0020) { # SP
+         !!!cp (59);
          $before_leave->();
          $self->{state} = AFTER_ATTRIBUTE_NAME_STATE;
          !!!next-input-character;
          redo A;
        } elsif ($self->{next_char} == 0x003D) { # =
+         !!!cp (60);
          $before_leave->();
          $self->{state} = BEFORE_ATTRIBUTE_VALUE_STATE;
          !!!next-input-character;
-Line 786 
 sub _get_next_token ($) {
+Line 1068 
 sub _get_next_token ($) {
        } elsif ($self->{next_char} == 0x003E) { # >
          $before_leave->();
          if ($self->{current_token}->{type} == START_TAG_TOKEN) {
-           $self->{current_token}->{first_start_tag}
+           !!!cp (61);
-               = not defined $self->{last_emitted_start_tag_name};
            $self->{last_emitted_start_tag_name} = $self->{current_token}->{tag_name};
          } elsif ($self->{current_token}->{type} == END_TAG_TOKEN) {
+           !!!cp (62);
            $self->{content_model} = PCDATA_CONTENT_MODEL; # MUST
            if ($self->{current_token}->{attributes}) {
              !!!parse-error (type => 'end tag attribute');
-Line 805 
 sub _get_next_token ($) {
+Line 1087 
 sub _get_next_token ($) {
          redo A;
        } elsif (0x0041 <= $self->{next_char} and
                 $self->{next_char} <= 0x005A) { # A..Z
+         !!!cp (63);
          $self->{current_attribute}->{name} .= chr ($self->{next_char} + 0x0020);
          ## Stay in the state
          !!!next-input-character;
-Line 816 
 sub _get_next_token ($) {
+Line 1099 
 sub _get_next_token ($) {
              $self->{current_token}->{type} == START_TAG_TOKEN and
              $permitted_slash_tag_name->{$self->{current_token}->{tag_name}}) {
            # permitted slash
+           !!!cp (64);
            #
          } else {
+           !!!cp (65);
            !!!parse-error (type => 'nestc');
          }
          $self->{state} = BEFORE_ATTRIBUTE_NAME_STATE;
-Line 827 
 sub _get_next_token ($) {
+Line 1112 
 sub _get_next_token ($) {
          !!!parse-error (type => 'unclosed tag');
          $before_leave->();
          if ($self->{current_token}->{type} == START_TAG_TOKEN) {
-           $self->{current_token}->{first_start_tag}
+           !!!cp (66);
-               = not defined $self->{last_emitted_start_tag_name};
            $self->{last_emitted_start_tag_name} = $self->{current_token}->{tag_name};
          } elsif ($self->{current_token}->{type} == END_TAG_TOKEN) {
            $self->{content_model} = PCDATA_CONTENT_MODEL; # MUST
            if ($self->{current_token}->{attributes}) {
+             !!!cp (67);
              !!!parse-error (type => 'end tag attribute');
+           } else {
+             ## NOTE: This state should never be reached.
+             !!!cp (68);
            }
          } else {
            die "$0: $self->{current_token}->{type}: Unknown token type";
-Line 847 
 sub _get_next_token ($) {
+Line 1135 
 sub _get_next_token ($) {
        } else {
          if ($self->{next_char} == 0x0022 or # "
              $self->{next_char} == 0x0027) { # '
+           !!!cp (69);
            !!!parse-error (type => 'bad attribute name');
+         } else {
+           !!!cp (70);
          }
          $self->{current_attribute}->{name} .= chr ($self->{next_char});
          ## Stay in the state
-Line 860 
 sub _get_next_token ($) {
+Line 1151 
 sub _get_next_token ($) {
            $self->{next_char} == 0x000B or # VT
            $self->{next_char} == 0x000C or # FF
            $self->{next_char} == 0x0020) { # SP
+         !!!cp (71);
          ## Stay in the state
          !!!next-input-character;
          redo A;
        } elsif ($self->{next_char} == 0x003D) { # =
+         !!!cp (72);
          $self->{state} = BEFORE_ATTRIBUTE_VALUE_STATE;
          !!!next-input-character;
          redo A;
        } elsif ($self->{next_char} == 0x003E) { # >
          if ($self->{current_token}->{type} == START_TAG_TOKEN) {
-           $self->{current_token}->{first_start_tag}
+           !!!cp (73);
-               = not defined $self->{last_emitted_start_tag_name};
            $self->{last_emitted_start_tag_name} = $self->{current_token}->{tag_name};
          } elsif ($self->{current_token}->{type} == END_TAG_TOKEN) {
            $self->{content_model} = PCDATA_CONTENT_MODEL; # MUST
            if ($self->{current_token}->{attributes}) {
+             !!!cp (74);
              !!!parse-error (type => 'end tag attribute');
+           } else {
+             ## NOTE: This state should never be reached.
+             !!!cp (75);
            }
          } else {
            die "$0: $self->{current_token}->{type}: Unknown token type";
-Line 888 
 sub _get_next_token ($) {
+Line 1184 
 sub _get_next_token ($) {
          redo A;
        } elsif (0x0041 <= $self->{next_char} and
                 $self->{next_char} <= 0x005A) { # A..Z
-         $self->{current_attribute} = {name => chr ($self->{next_char} + 0x0020),
+         !!!cp (76);
-                               value => ''};
+         $self->{current_attribute}
+             = {name => chr ($self->{next_char} + 0x0020),
+                value => '',
+                line => $self->{line}, column => $self->{column}};
          $self->{state} = ATTRIBUTE_NAME_STATE;
          !!!next-input-character;
          redo A;
-Line 899 
 sub _get_next_token ($) {
+Line 1198 
 sub _get_next_token ($) {
              $self->{current_token}->{type} == START_TAG_TOKEN and
              $permitted_slash_tag_name->{$self->{current_token}->{tag_name}}) {
            # permitted slash
+           !!!cp (77);
            #
          } else {
+           !!!cp (78);
            !!!parse-error (type => 'nestc');
            ## TODO: Different error type for <aa / bb> than <aa/>
          }
-Line 910 
 sub _get_next_token ($) {
+Line 1211 
 sub _get_next_token ($) {
        } elsif ($self->{next_char} == -1) {
          !!!parse-error (type => 'unclosed tag');
          if ($self->{current_token}->{type} == START_TAG_TOKEN) {
-           $self->{current_token}->{first_start_tag}
+           !!!cp (79);
-               = not defined $self->{last_emitted_start_tag_name};
            $self->{last_emitted_start_tag_name} = $self->{current_token}->{tag_name};
          } elsif ($self->{current_token}->{type} == END_TAG_TOKEN) {
            $self->{content_model} = PCDATA_CONTENT_MODEL; # MUST
            if ($self->{current_token}->{attributes}) {
+             !!!cp (80);
              !!!parse-error (type => 'end tag attribute');
+           } else {
+             ## NOTE: This state should never be reached.
+             !!!cp (81);
            }
          } else {
            die "$0: $self->{current_token}->{type}: Unknown token type";
-Line 928 
 sub _get_next_token ($) {
+Line 1232 
 sub _get_next_token ($) {
          redo A;
        } else {
-         $self->{current_attribute} = {name => chr ($self->{next_char}),
+         !!!cp (82);
-                               value => ''};
+         $self->{current_attribute}
+             = {name => chr ($self->{next_char}),
+                value => '',
+                line => $self->{line}, column => $self->{column}};
          $self->{state} = ATTRIBUTE_NAME_STATE;
          !!!next-input-character;
          redo A;
-Line 940 
 sub _get_next_token ($) {
+Line 1247 
 sub _get_next_token ($) {
            $self->{next_char} == 0x000B or # VT
            $self->{next_char} == 0x000C or # FF
            $self->{next_char} == 0x0020) { # SP
+         !!!cp (83);
          ## Stay in the state
          !!!next-input-character;
          redo A;
        } elsif ($self->{next_char} == 0x0022) { # "
+         !!!cp (84);
          $self->{state} = ATTRIBUTE_VALUE_DOUBLE_QUOTED_STATE;
          !!!next-input-character;
          redo A;
        } elsif ($self->{next_char} == 0x0026) { # &
+         !!!cp (85);
          $self->{state} = ATTRIBUTE_VALUE_UNQUOTED_STATE;
          ## reconsume
          redo A;
        } elsif ($self->{next_char} == 0x0027) { # '
+         !!!cp (86);
          $self->{state} = ATTRIBUTE_VALUE_SINGLE_QUOTED_STATE;
          !!!next-input-character;
          redo A;
        } elsif ($self->{next_char} == 0x003E) { # >
          if ($self->{current_token}->{type} == START_TAG_TOKEN) {
-           $self->{current_token}->{first_start_tag}
+           !!!cp (87);
-               = not defined $self->{last_emitted_start_tag_name};
            $self->{last_emitted_start_tag_name} = $self->{current_token}->{tag_name};
          } elsif ($self->{current_token}->{type} == END_TAG_TOKEN) {
            $self->{content_model} = PCDATA_CONTENT_MODEL; # MUST
            if ($self->{current_token}->{attributes}) {
+             !!!cp (88);
              !!!parse-error (type => 'end tag attribute');
+           } else {
+             ## NOTE: This state should never be reached.
+             !!!cp (89);
            }
          } else {
            die "$0: $self->{current_token}->{type}: Unknown token type";
-Line 977 
 sub _get_next_token ($) {
+Line 1291 
 sub _get_next_token ($) {
        } elsif ($self->{next_char} == -1) {
          !!!parse-error (type => 'unclosed tag');
          if ($self->{current_token}->{type} == START_TAG_TOKEN) {
-           $self->{current_token}->{first_start_tag}
+           !!!cp (90);
-               = not defined $self->{last_emitted_start_tag_name};
            $self->{last_emitted_start_tag_name} = $self->{current_token}->{tag_name};
          } elsif ($self->{current_token}->{type} == END_TAG_TOKEN) {
            $self->{content_model} = PCDATA_CONTENT_MODEL; # MUST
            if ($self->{current_token}->{attributes}) {
+             !!!cp (91);
              !!!parse-error (type => 'end tag attribute');
+           } else {
+             ## NOTE: This state should never be reached.
+             !!!cp (92);
            }
          } else {
            die "$0: $self->{current_token}->{type}: Unknown token type";
-Line 996 
 sub _get_next_token ($) {
+Line 1313 
 sub _get_next_token ($) {
          redo A;
        } else {
          if ($self->{next_char} == 0x003D) { # =
+           !!!cp (93);
            !!!parse-error (type => 'bad attribute value');
+         } else {
+           !!!cp (94);
          }
          $self->{current_attribute}->{value} .= chr ($self->{next_char});
          $self->{state} = ATTRIBUTE_VALUE_UNQUOTED_STATE;
-Line 1005 
 sub _get_next_token ($) {
+Line 1325 
 sub _get_next_token ($) {
        }
      } elsif ($self->{state} == ATTRIBUTE_VALUE_DOUBLE_QUOTED_STATE) {
        if ($self->{next_char} == 0x0022) { # "
+         !!!cp (95);
          $self->{state} = AFTER_ATTRIBUTE_VALUE_QUOTED_STATE;
          !!!next-input-character;
          redo A;
        } elsif ($self->{next_char} == 0x0026) { # &
+         !!!cp (96);
          $self->{last_attribute_value_state} = $self->{state};
          $self->{state} = ENTITY_IN_ATTRIBUTE_VALUE_STATE;
          !!!next-input-character;
-Line 1016 
 sub _get_next_token ($) {
+Line 1338 
 sub _get_next_token ($) {
        } elsif ($self->{next_char} == -1) {
          !!!parse-error (type => 'unclosed attribute value');
          if ($self->{current_token}->{type} == START_TAG_TOKEN) {
-           $self->{current_token}->{first_start_tag}
+           !!!cp (97);
-               = not defined $self->{last_emitted_start_tag_name};
            $self->{last_emitted_start_tag_name} = $self->{current_token}->{tag_name};
          } elsif ($self->{current_token}->{type} == END_TAG_TOKEN) {
            $self->{content_model} = PCDATA_CONTENT_MODEL; # MUST
            if ($self->{current_token}->{attributes}) {
+             !!!cp (98);
              !!!parse-error (type => 'end tag attribute');
+           } else {
+             ## NOTE: This state should never be reached.
+             !!!cp (99);
            }
          } else {
            die "$0: $self->{current_token}->{type}: Unknown token type";
-Line 1034 
 sub _get_next_token ($) {
+Line 1359 
 sub _get_next_token ($) {
          redo A;
        } else {
+         !!!cp (100);
          $self->{current_attribute}->{value} .= chr ($self->{next_char});
          ## Stay in the state
          !!!next-input-character;
-Line 1041 
 sub _get_next_token ($) {
+Line 1367 
 sub _get_next_token ($) {
        }
      } elsif ($self->{state} == ATTRIBUTE_VALUE_SINGLE_QUOTED_STATE) {
        if ($self->{next_char} == 0x0027) { # '
+         !!!cp (101);
          $self->{state} = AFTER_ATTRIBUTE_VALUE_QUOTED_STATE;
          !!!next-input-character;
          redo A;
        } elsif ($self->{next_char} == 0x0026) { # &
+         !!!cp (102);
          $self->{last_attribute_value_state} = $self->{state};
          $self->{state} = ENTITY_IN_ATTRIBUTE_VALUE_STATE;
          !!!next-input-character;
-Line 1052 
 sub _get_next_token ($) {
+Line 1380 
 sub _get_next_token ($) {
        } elsif ($self->{next_char} == -1) {
          !!!parse-error (type => 'unclosed attribute value');
          if ($self->{current_token}->{type} == START_TAG_TOKEN) {
-           $self->{current_token}->{first_start_tag}
+           !!!cp (103);
-               = not defined $self->{last_emitted_start_tag_name};
            $self->{last_emitted_start_tag_name} = $self->{current_token}->{tag_name};
          } elsif ($self->{current_token}->{type} == END_TAG_TOKEN) {
            $self->{content_model} = PCDATA_CONTENT_MODEL; # MUST
            if ($self->{current_token}->{attributes}) {
+             !!!cp (104);
              !!!parse-error (type => 'end tag attribute');
+           } else {
+             ## NOTE: This state should never be reached.
+             !!!cp (105);
            }
          } else {
            die "$0: $self->{current_token}->{type}: Unknown token type";
-Line 1070 
 sub _get_next_token ($) {
+Line 1401 
 sub _get_next_token ($) {
          redo A;
        } else {
+         !!!cp (106);
          $self->{current_attribute}->{value} .= chr ($self->{next_char});
          ## Stay in the state
          !!!next-input-character;
-Line 1081 
 sub _get_next_token ($) {
+Line 1413 
 sub _get_next_token ($) {
            $self->{next_char} == 0x000B or # HT
            $self->{next_char} == 0x000C or # FF
            $self->{next_char} == 0x0020) { # SP
+         !!!cp (107);
          $self->{state} = BEFORE_ATTRIBUTE_NAME_STATE;
          !!!next-input-character;
          redo A;
        } elsif ($self->{next_char} == 0x0026) { # &
+         !!!cp (108);
          $self->{last_attribute_value_state} = $self->{state};
          $self->{state} = ENTITY_IN_ATTRIBUTE_VALUE_STATE;
          !!!next-input-character;
          redo A;
        } elsif ($self->{next_char} == 0x003E) { # >
          if ($self->{current_token}->{type} == START_TAG_TOKEN) {
-           $self->{current_token}->{first_start_tag}
+           !!!cp (109);
-               = not defined $self->{last_emitted_start_tag_name};
            $self->{last_emitted_start_tag_name} = $self->{current_token}->{tag_name};
          } elsif ($self->{current_token}->{type} == END_TAG_TOKEN) {
            $self->{content_model} = PCDATA_CONTENT_MODEL; # MUST
            if ($self->{current_token}->{attributes}) {
+             !!!cp (110);
              !!!parse-error (type => 'end tag attribute');
+           } else {
+             ## NOTE: This state should never be reached.
+             !!!cp (111);
            }
          } else {
            die "$0: $self->{current_token}->{type}: Unknown token type";
-Line 1111 
 sub _get_next_token ($) {
+Line 1448 
 sub _get_next_token ($) {
        } elsif ($self->{next_char} == -1) {
          !!!parse-error (type => 'unclosed tag');
          if ($self->{current_token}->{type} == START_TAG_TOKEN) {
-           $self->{current_token}->{first_start_tag}
+           !!!cp (112);
-               = not defined $self->{last_emitted_start_tag_name};
            $self->{last_emitted_start_tag_name} = $self->{current_token}->{tag_name};
          } elsif ($self->{current_token}->{type} == END_TAG_TOKEN) {
            $self->{content_model} = PCDATA_CONTENT_MODEL; # MUST
            if ($self->{current_token}->{attributes}) {
+             !!!cp (113);
              !!!parse-error (type => 'end tag attribute');
+           } else {
+             ## NOTE: This state should never be reached.
+             !!!cp (114);
            }
          } else {
            die "$0: $self->{current_token}->{type}: Unknown token type";
-Line 1134 
 sub _get_next_token ($) {
+Line 1474 
 sub _get_next_token ($) {
 x0027 => 1, # '
 x003D => 1, # =
              }->{$self->{next_char}}) {
+           !!!cp (115);
            !!!parse-error (type => 'bad attribute value');
+         } else {
+           !!!cp (116);
          }
          $self->{current_attribute}->{value} .= chr ($self->{next_char});
          ## Stay in the state
-Line 1151 
 sub _get_next_token ($) {
+Line 1494 
 sub _get_next_token ($) {
             -1);
        unless (defined $token) {
+         !!!cp (117);
          $self->{current_attribute}->{value} .= '&';
        } else {
+         !!!cp (118);
          $self->{current_attribute}->{value} .= $token->{data};
          $self->{current_attribute}->{has_reference} = $token->{has_reference};
          ## ISSUE: spec says "append the returned character token to the current attribute's value"
-Line 1167 
 sub _get_next_token ($) {
+Line 1512 
 sub _get_next_token ($) {
            $self->{next_char} == 0x000B or # VT
            $self->{next_char} == 0x000C or # FF
            $self->{next_char} == 0x0020) { # SP
+         !!!cp (118);
          $self->{state} = BEFORE_ATTRIBUTE_NAME_STATE;
          !!!next-input-character;
          redo A;
        } elsif ($self->{next_char} == 0x003E) { # >
          if ($self->{current_token}->{type} == START_TAG_TOKEN) {
-           $self->{current_token}->{first_start_tag}
+           !!!cp (119);
-               = not defined $self->{last_emitted_start_tag_name};
            $self->{last_emitted_start_tag_name} = $self->{current_token}->{tag_name};
          } elsif ($self->{current_token}->{type} == END_TAG_TOKEN) {
            $self->{content_model} = PCDATA_CONTENT_MODEL; # MUST
            if ($self->{current_token}->{attributes}) {
+             !!!cp (120);
              !!!parse-error (type => 'end tag attribute');
+           } else {
+             ## NOTE: This state should never be reached.
+             !!!cp (121);
            }
          } else {
            die "$0: $self->{current_token}->{type}: Unknown token type";
-Line 1195 
 sub _get_next_token ($) {
+Line 1544 
 sub _get_next_token ($) {
              $self->{current_token}->{type} == START_TAG_TOKEN and
              $permitted_slash_tag_name->{$self->{current_token}->{tag_name}}) {
            # permitted slash
+           !!!cp (122);
            #
          } else {
+           !!!cp (123);
            !!!parse-error (type => 'nestc');
          }
          $self->{state} = BEFORE_ATTRIBUTE_NAME_STATE;
          # next-input-character is already done
          redo A;
        } else {
+         !!!cp (124);
          !!!parse-error (type => 'no space between attributes');
          $self->{state} = BEFORE_ATTRIBUTE_NAME_STATE;
          ## reconsume
-Line 1211 
 sub _get_next_token ($) {
+Line 1563 
 sub _get_next_token ($) {
      } elsif ($self->{state} == BOGUS_COMMENT_STATE) {
        ## (only happen if PCDATA state)
-       my $token = {type => COMMENT_TOKEN, data => ''};
+       ## NOTE: Set by the previous state
+       #my $token = {type => COMMENT_TOKEN, data => ''};
        BC: {
          if ($self->{next_char} == 0x003E) { # >
+           !!!cp (124);
            $self->{state} = DATA_STATE;
            !!!next-input-character;
-           !!!emit ($token);
+           !!!emit ($self->{current_token}); # comment
            redo A;
          } elsif ($self->{next_char} == -1) {
+           !!!cp (125);
            $self->{state} = DATA_STATE;
            ## reconsume
-           !!!emit ($token);
+           !!!emit ($self->{current_token}); # comment
            redo A;
          } else {
-           $token->{data} .= chr ($self->{next_char});
+           !!!cp (126);
+           $self->{current_token}->{data} .= chr ($self->{next_char}); # comment
            !!!next-input-character;
            redo BC;
          }
        } # BC
+       die "$0: _get_next_token: unexpected case [BC]";
      } elsif ($self->{state} == MARKUP_DECLARATION_OPEN_STATE) {
        ## (only happen if PCDATA state)
+       my ($l, $c) = ($self->{line_prev}, $self->{column_prev} - 1);
        my @next_char;
        push @next_char, $self->{next_char};
-Line 1244 
 sub _get_next_token ($) {
+Line 1604 
 sub _get_next_token ($) {
          !!!next-input-character;
          push @next_char, $self->{next_char};
          if ($self->{next_char} == 0x002D) { # -
-           $self->{current_token} = {type => COMMENT_TOKEN, data => ''};
+           !!!cp (127);
+           $self->{current_token} = {type => COMMENT_TOKEN, data => '',
+                                     line => $l, column => $c,
+                                    };
            $self->{state} = COMMENT_START_STATE;
            !!!next-input-character;
            redo A;
+         } else {
+           !!!cp (128);
          }
        } elsif ($self->{next_char} == 0x0044 or # D
                 $self->{next_char} == 0x0064) { # d
-Line 1275 
 sub _get_next_token ($) {
+Line 1640 
 sub _get_next_token ($) {
                    push @next_char, $self->{next_char};
                    if ($self->{next_char} == 0x0045 or # E
                        $self->{next_char} == 0x0065) { # e
-                     ## ISSUE: What a stupid code this is!
+                     !!!cp (129);
+                     ## TODO: What a stupid code this is!
                      $self->{state} = DOCTYPE_STATE;
+                     $self->{current_token} = {type => DOCTYPE_TOKEN,
+                                               quirks => 1,
+                                               line => $l, column => $c,
+                                              };
                      !!!next-input-character;
                      redo A;
+                   } else {
+                     !!!cp (130);
                    }
+                 } else {
+                   !!!cp (131);
                  }
+               } else {
+                 !!!cp (132);
                }
+             } else {
+               !!!cp (133);
              }
+           } else {
+             !!!cp (134);
            }
+         } else {
+           !!!cp (135);
          }
+       } else {
+         !!!cp (136);
        }
        !!!parse-error (type => 'bogus comment');
        $self->{next_char} = shift @next_char;
        !!!back-next-input-character (@next_char);
        $self->{state} = BOGUS_COMMENT_STATE;
+       $self->{current_token} = {type => COMMENT_TOKEN, data => '',
+                                 line => $l, column => $c,
+                                };
        redo A;
        ## ISSUE: typos in spec: chacacters, is is a parse error
        ## ISSUE: spec is somewhat unclear on "is the first character that will be in the comment"; what is "that will be in the comment" is what the algorithm defines, isn't it?
      } elsif ($self->{state} == COMMENT_START_STATE) {
        if ($self->{next_char} == 0x002D) { # -
+         !!!cp (137);
          $self->{state} = COMMENT_START_DASH_STATE;
          !!!next-input-character;
          redo A;
        } elsif ($self->{next_char} == 0x003E) { # >
+         !!!cp (138);
          !!!parse-error (type => 'bogus comment');
          $self->{state} = DATA_STATE;
          !!!next-input-character;
-Line 1309 
 sub _get_next_token ($) {
+Line 1698 
 sub _get_next_token ($) {
          redo A;
        } elsif ($self->{next_char} == -1) {
+         !!!cp (139);
          !!!parse-error (type => 'unclosed comment');
          $self->{state} = DATA_STATE;
          ## reconsume
-Line 1317 
 sub _get_next_token ($) {
+Line 1707 
 sub _get_next_token ($) {
          redo A;
        } else {
+         !!!cp (140);
          $self->{current_token}->{data} # comment
              .= chr ($self->{next_char});
          $self->{state} = COMMENT_STATE;
-Line 1325 
 sub _get_next_token ($) {
+Line 1716 
 sub _get_next_token ($) {
        }
      } elsif ($self->{state} == COMMENT_START_DASH_STATE) {
        if ($self->{next_char} == 0x002D) { # -
+         !!!cp (141);
          $self->{state} = COMMENT_END_STATE;
          !!!next-input-character;
          redo A;
        } elsif ($self->{next_char} == 0x003E) { # >
+         !!!cp (142);
          !!!parse-error (type => 'bogus comment');
          $self->{state} = DATA_STATE;
          !!!next-input-character;
-Line 1337 
 sub _get_next_token ($) {
+Line 1730 
 sub _get_next_token ($) {
          redo A;
        } elsif ($self->{next_char} == -1) {
+         !!!cp (143);
          !!!parse-error (type => 'unclosed comment');
          $self->{state} = DATA_STATE;
          ## reconsume
-Line 1345 
 sub _get_next_token ($) {
+Line 1739 
 sub _get_next_token ($) {
          redo A;
        } else {
+         !!!cp (144);
          $self->{current_token}->{data} # comment
              .= '-' . chr ($self->{next_char});
          $self->{state} = COMMENT_STATE;
-Line 1353 
 sub _get_next_token ($) {
+Line 1748 
 sub _get_next_token ($) {
        }
      } elsif ($self->{state} == COMMENT_STATE) {
        if ($self->{next_char} == 0x002D) { # -
+         !!!cp (145);
          $self->{state} = COMMENT_END_DASH_STATE;
          !!!next-input-character;
          redo A;
        } elsif ($self->{next_char} == -1) {
+         !!!cp (146);
          !!!parse-error (type => 'unclosed comment');
          $self->{state} = DATA_STATE;
          ## reconsume
-Line 1365 
 sub _get_next_token ($) {
+Line 1762 
 sub _get_next_token ($) {
          redo A;
        } else {
+         !!!cp (147);
          $self->{current_token}->{data} .= chr ($self->{next_char}); # comment
          ## Stay in the state
          !!!next-input-character;
-Line 1372 
 sub _get_next_token ($) {
+Line 1770 
 sub _get_next_token ($) {
        }
      } elsif ($self->{state} == COMMENT_END_DASH_STATE) {
        if ($self->{next_char} == 0x002D) { # -
+         !!!cp (148);
          $self->{state} = COMMENT_END_STATE;
          !!!next-input-character;
          redo A;
        } elsif ($self->{next_char} == -1) {
+         !!!cp (149);
          !!!parse-error (type => 'unclosed comment');
          $self->{state} = DATA_STATE;
          ## reconsume
-Line 1384 
 sub _get_next_token ($) {
+Line 1784 
 sub _get_next_token ($) {
          redo A;
        } else {
+         !!!cp (150);
          $self->{current_token}->{data} .= '-' . chr ($self->{next_char}); # comment
          $self->{state} = COMMENT_STATE;
          !!!next-input-character;
-Line 1391 
 sub _get_next_token ($) {
+Line 1792 
 sub _get_next_token ($) {
        }
      } elsif ($self->{state} == COMMENT_END_STATE) {
        if ($self->{next_char} == 0x003E) { # >
+         !!!cp (151);
          $self->{state} = DATA_STATE;
          !!!next-input-character;
-Line 1398 
 sub _get_next_token ($) {
+Line 1800 
 sub _get_next_token ($) {
          redo A;
        } elsif ($self->{next_char} == 0x002D) { # -
-         !!!parse-error (type => 'dash in comment');
+         !!!cp (152);
+         !!!parse-error (type => 'dash in comment',
+                         line => $self->{line_prev},
+                         column => $self->{column_prev});
          $self->{current_token}->{data} .= '-'; # comment
          ## Stay in the state
          !!!next-input-character;
          redo A;
        } elsif ($self->{next_char} == -1) {
+         !!!cp (153);
          !!!parse-error (type => 'unclosed comment');
          $self->{state} = DATA_STATE;
          ## reconsume
-Line 1412 
 sub _get_next_token ($) {
+Line 1818 
 sub _get_next_token ($) {
          redo A;
        } else {
-         !!!parse-error (type => 'dash in comment');
+         !!!cp (154);
+         !!!parse-error (type => 'dash in comment',
+                         line => $self->{line_prev},
+                         column => $self->{column_prev});
          $self->{current_token}->{data} .= '--' . chr ($self->{next_char}); # comment
          $self->{state} = COMMENT_STATE;
          !!!next-input-character;
-Line 1424 
 sub _get_next_token ($) {
+Line 1833 
 sub _get_next_token ($) {
            $self->{next_char} == 0x000B or # VT
            $self->{next_char} == 0x000C or # FF
            $self->{next_char} == 0x0020) { # SP
+         !!!cp (155);
          $self->{state} = BEFORE_DOCTYPE_NAME_STATE;
          !!!next-input-character;
          redo A;
        } else {
+         !!!cp (156);
          !!!parse-error (type => 'no space before DOCTYPE name');
          $self->{state} = BEFORE_DOCTYPE_NAME_STATE;
          ## reconsume
-Line 1439 
 sub _get_next_token ($) {
+Line 1850 
 sub _get_next_token ($) {
            $self->{next_char} == 0x000B or # VT
            $self->{next_char} == 0x000C or # FF
            $self->{next_char} == 0x0020) { # SP
+         !!!cp (157);
          ## Stay in the state
          !!!next-input-character;
          redo A;
        } elsif ($self->{next_char} == 0x003E) { # >
+         !!!cp (158);
          !!!parse-error (type => 'no DOCTYPE name');
          $self->{state} = DATA_STATE;
          !!!next-input-character;
-         !!!emit ({type => DOCTYPE_TOKEN, quirks => 1});
+         !!!emit ($self->{current_token}); # DOCTYPE (quirks)
          redo A;
        } elsif ($self->{next_char} == -1) {
+         !!!cp (159);
          !!!parse-error (type => 'no DOCTYPE name');
          $self->{state} = DATA_STATE;
          ## reconsume
-         !!!emit ({type => DOCTYPE_TOKEN, quirks => 1});
+         !!!emit ($self->{current_token}); # DOCTYPE (quirks)
          redo A;
        } else {
-         $self->{current_token}
+         !!!cp (160);
-             = {type => DOCTYPE_TOKEN,
+         $self->{current_token}->{name} = chr $self->{next_char};
-                name => chr ($self->{next_char}),
+         delete $self->{current_token}->{quirks};
-                #quirks => 0,
-               };
  ## ISSUE: "Set the token's name name to the" in the spec
          $self->{state} = DOCTYPE_NAME_STATE;
          !!!next-input-character;
-Line 1476 
 sub _get_next_token ($) {
+Line 1888 
 sub _get_next_token ($) {
            $self->{next_char} == 0x000B or # VT
            $self->{next_char} == 0x000C or # FF
            $self->{next_char} == 0x0020) { # SP
+         !!!cp (161);
          $self->{state} = AFTER_DOCTYPE_NAME_STATE;
          !!!next-input-character;
          redo A;
        } elsif ($self->{next_char} == 0x003E) { # >
+         !!!cp (162);
          $self->{state} = DATA_STATE;
          !!!next-input-character;
-Line 1487 
 sub _get_next_token ($) {
+Line 1901 
 sub _get_next_token ($) {
          redo A;
        } elsif ($self->{next_char} == -1) {
+         !!!cp (163);
          !!!parse-error (type => 'unclosed DOCTYPE');
          $self->{state} = DATA_STATE;
          ## reconsume
-Line 1496 
 sub _get_next_token ($) {
+Line 1911 
 sub _get_next_token ($) {
          redo A;
        } else {
+         !!!cp (164);
          $self->{current_token}->{name}
            .= chr ($self->{next_char}); # DOCTYPE
          ## Stay in the state
-Line 1508 
 sub _get_next_token ($) {
+Line 1924 
 sub _get_next_token ($) {
            $self->{next_char} == 0x000B or # VT
            $self->{next_char} == 0x000C or # FF
            $self->{next_char} == 0x0020) { # SP
+         !!!cp (165);
          ## Stay in the state
          !!!next-input-character;
          redo A;
        } elsif ($self->{next_char} == 0x003E) { # >
+         !!!cp (166);
          $self->{state} = DATA_STATE;
          !!!next-input-character;
-Line 1519 
 sub _get_next_token ($) {
+Line 1937 
 sub _get_next_token ($) {
          redo A;
        } elsif ($self->{next_char} == -1) {
+         !!!cp (167);
          !!!parse-error (type => 'unclosed DOCTYPE');
          $self->{state} = DATA_STATE;
          ## reconsume
-Line 1544 
 sub _get_next_token ($) {
+Line 1963 
 sub _get_next_token ($) {
                  !!!next-input-character;
                  if ($self->{next_char} == 0x0043 or # C
                      $self->{next_char} == 0x0063) { # c
+                   !!!cp (168);
                    $self->{state} = BEFORE_DOCTYPE_PUBLIC_IDENTIFIER_STATE;
                    !!!next-input-character;
                    redo A;
+                 } else {
+                   !!!cp (169);
                  }
+               } else {
+                 !!!cp (170);
                }
+             } else {
+               !!!cp (171);
              }
+           } else {
+             !!!cp (172);
            }
+         } else {
+           !!!cp (173);
          }
          #
-Line 1571 
 sub _get_next_token ($) {
+Line 2001 
 sub _get_next_token ($) {
                  !!!next-input-character;
                  if ($self->{next_char} == 0x004D or # M
                      $self->{next_char} == 0x006D) { # m
+                   !!!cp (174);
                    $self->{state} = BEFORE_DOCTYPE_SYSTEM_IDENTIFIER_STATE;
                    !!!next-input-character;
                    redo A;
+                 } else {
+                   !!!cp (175);
                  }
+               } else {
+                 !!!cp (176);
                }
+             } else {
+               !!!cp (177);
              }
+           } else {
+             !!!cp (178);
            }
+         } else {
+           !!!cp (179);
          }
          #
        } else {
+         !!!cp (180);
          !!!next-input-character;
          #
        }
-Line 1597 
 sub _get_next_token ($) {
+Line 2039 
 sub _get_next_token ($) {
 x0009 => 1, 0x000A => 1, 0x000B => 1, 0x000C => 1, 0x0020 => 1,
              #0x000D => 1, # HT, LF, VT, FF, SP, CR
            }->{$self->{next_char}}) {
+         !!!cp (181);
          ## Stay in the state
          !!!next-input-character;
          redo A;
        } elsif ($self->{next_char} eq 0x0022) { # "
+         !!!cp (182);
          $self->{current_token}->{public_identifier} = ''; # DOCTYPE
          $self->{state} = DOCTYPE_PUBLIC_IDENTIFIER_DOUBLE_QUOTED_STATE;
          !!!next-input-character;
          redo A;
        } elsif ($self->{next_char} eq 0x0027) { # '
+         !!!cp (183);
          $self->{current_token}->{public_identifier} = ''; # DOCTYPE
          $self->{state} = DOCTYPE_PUBLIC_IDENTIFIER_SINGLE_QUOTED_STATE;
          !!!next-input-character;
          redo A;
        } elsif ($self->{next_char} eq 0x003E) { # >
+         !!!cp (184);
          !!!parse-error (type => 'no PUBLIC literal');
          $self->{state} = DATA_STATE;
-Line 1621 
 sub _get_next_token ($) {
+Line 2067 
 sub _get_next_token ($) {
          redo A;
        } elsif ($self->{next_char} == -1) {
+         !!!cp (185);
          !!!parse-error (type => 'unclosed DOCTYPE');
          $self->{state} = DATA_STATE;
-Line 1631 
 sub _get_next_token ($) {
+Line 2078 
 sub _get_next_token ($) {
          redo A;
        } else {
+         !!!cp (186);
          !!!parse-error (type => 'string after PUBLIC');
          $self->{current_token}->{quirks} = 1;
-Line 1640 
 sub _get_next_token ($) {
+Line 2088 
 sub _get_next_token ($) {
        }
      } elsif ($self->{state} == DOCTYPE_PUBLIC_IDENTIFIER_DOUBLE_QUOTED_STATE) {
        if ($self->{next_char} == 0x0022) { # "
+         !!!cp (187);
          $self->{state} = AFTER_DOCTYPE_PUBLIC_IDENTIFIER_STATE;
          !!!next-input-character;
          redo A;
        } elsif ($self->{next_char} == 0x003E) { # >
+         !!!cp (188);
          !!!parse-error (type => 'unclosed PUBLIC literal');
          $self->{state} = DATA_STATE;
-Line 1654 
 sub _get_next_token ($) {
+Line 2104 
 sub _get_next_token ($) {
          redo A;
        } elsif ($self->{next_char} == -1) {
+         !!!cp (189);
          !!!parse-error (type => 'unclosed PUBLIC literal');
          $self->{state} = DATA_STATE;
-Line 1664 
 sub _get_next_token ($) {
+Line 2115 
 sub _get_next_token ($) {
          redo A;
        } else {
+         !!!cp (190);
          $self->{current_token}->{public_identifier} # DOCTYPE
              .= chr $self->{next_char};
          ## Stay in the state
-Line 1672 
 sub _get_next_token ($) {
+Line 2124 
 sub _get_next_token ($) {
        }
      } elsif ($self->{state} == DOCTYPE_PUBLIC_IDENTIFIER_SINGLE_QUOTED_STATE) {
        if ($self->{next_char} == 0x0027) { # '
+         !!!cp (191);
          $self->{state} = AFTER_DOCTYPE_PUBLIC_IDENTIFIER_STATE;
          !!!next-input-character;
          redo A;
        } elsif ($self->{next_char} == 0x003E) { # >
+         !!!cp (192);
          !!!parse-error (type => 'unclosed PUBLIC literal');
          $self->{state} = DATA_STATE;
-Line 1686 
 sub _get_next_token ($) {
+Line 2140 
 sub _get_next_token ($) {
          redo A;
        } elsif ($self->{next_char} == -1) {
+         !!!cp (193);
          !!!parse-error (type => 'unclosed PUBLIC literal');
          $self->{state} = DATA_STATE;
-Line 1696 
 sub _get_next_token ($) {
+Line 2151 
 sub _get_next_token ($) {
          redo A;
        } else {
+         !!!cp (194);
          $self->{current_token}->{public_identifier} # DOCTYPE
              .= chr $self->{next_char};
          ## Stay in the state
-Line 1707 
 sub _get_next_token ($) {
+Line 2163 
 sub _get_next_token ($) {
 x0009 => 1, 0x000A => 1, 0x000B => 1, 0x000C => 1, 0x0020 => 1,
              #0x000D => 1, # HT, LF, VT, FF, SP, CR
            }->{$self->{next_char}}) {
+         !!!cp (195);
          ## Stay in the state
          !!!next-input-character;
          redo A;
        } elsif ($self->{next_char} == 0x0022) { # "
+         !!!cp (196);
          $self->{current_token}->{system_identifier} = ''; # DOCTYPE
          $self->{state} = DOCTYPE_SYSTEM_IDENTIFIER_DOUBLE_QUOTED_STATE;
          !!!next-input-character;
          redo A;
        } elsif ($self->{next_char} == 0x0027) { # '
+         !!!cp (197);
          $self->{current_token}->{system_identifier} = ''; # DOCTYPE
          $self->{state} = DOCTYPE_SYSTEM_IDENTIFIER_SINGLE_QUOTED_STATE;
          !!!next-input-character;
          redo A;
        } elsif ($self->{next_char} == 0x003E) { # >
+         !!!cp (198);
          $self->{state} = DATA_STATE;
          !!!next-input-character;
-Line 1728 
 sub _get_next_token ($) {
+Line 2188 
 sub _get_next_token ($) {
          redo A;
        } elsif ($self->{next_char} == -1) {
+         !!!cp (199);
          !!!parse-error (type => 'unclosed DOCTYPE');
          $self->{state} = DATA_STATE;
-Line 1738 
 sub _get_next_token ($) {
+Line 2199 
 sub _get_next_token ($) {
          redo A;
        } else {
+         !!!cp (200);
          !!!parse-error (type => 'string after PUBLIC literal');
          $self->{current_token}->{quirks} = 1;
-Line 1750 
 sub _get_next_token ($) {
+Line 2212 
 sub _get_next_token ($) {
 x0009 => 1, 0x000A => 1, 0x000B => 1, 0x000C => 1, 0x0020 => 1,
              #0x000D => 1, # HT, LF, VT, FF, SP, CR
            }->{$self->{next_char}}) {
+         !!!cp (201);
          ## Stay in the state
          !!!next-input-character;
          redo A;
        } elsif ($self->{next_char} == 0x0022) { # "
+         !!!cp (202);
          $self->{current_token}->{system_identifier} = ''; # DOCTYPE
          $self->{state} = DOCTYPE_SYSTEM_IDENTIFIER_DOUBLE_QUOTED_STATE;
          !!!next-input-character;
          redo A;
        } elsif ($self->{next_char} == 0x0027) { # '
+         !!!cp (203);
          $self->{current_token}->{system_identifier} = ''; # DOCTYPE
          $self->{state} = DOCTYPE_SYSTEM_IDENTIFIER_SINGLE_QUOTED_STATE;
          !!!next-input-character;
          redo A;
        } elsif ($self->{next_char} == 0x003E) { # >
+         !!!cp (204);
          !!!parse-error (type => 'no SYSTEM literal');
          $self->{state} = DATA_STATE;
          !!!next-input-character;
-Line 1773 
 sub _get_next_token ($) {
+Line 2239 
 sub _get_next_token ($) {
          redo A;
        } elsif ($self->{next_char} == -1) {
+         !!!cp (205);
          !!!parse-error (type => 'unclosed DOCTYPE');
          $self->{state} = DATA_STATE;
-Line 1783 
 sub _get_next_token ($) {
+Line 2250 
 sub _get_next_token ($) {
          redo A;
        } else {
+         !!!cp (206);
          !!!parse-error (type => 'string after SYSTEM');
          $self->{current_token}->{quirks} = 1;
-Line 1792 
 sub _get_next_token ($) {
+Line 2260 
 sub _get_next_token ($) {
        }
      } elsif ($self->{state} == DOCTYPE_SYSTEM_IDENTIFIER_DOUBLE_QUOTED_STATE) {
        if ($self->{next_char} == 0x0022) { # "
+         !!!cp (207);
          $self->{state} = AFTER_DOCTYPE_SYSTEM_IDENTIFIER_STATE;
          !!!next-input-character;
          redo A;
        } elsif ($self->{next_char} == 0x003E) { # >
+         !!!cp (208);
          !!!parse-error (type => 'unclosed PUBLIC literal');
          $self->{state} = DATA_STATE;
-Line 1806 
 sub _get_next_token ($) {
+Line 2276 
 sub _get_next_token ($) {
          redo A;
        } elsif ($self->{next_char} == -1) {
+         !!!cp (209);
          !!!parse-error (type => 'unclosed SYSTEM literal');
          $self->{state} = DATA_STATE;
-Line 1816 
 sub _get_next_token ($) {
+Line 2287 
 sub _get_next_token ($) {
          redo A;
        } else {
+         !!!cp (210);
          $self->{current_token}->{system_identifier} # DOCTYPE
              .= chr $self->{next_char};
          ## Stay in the state
-Line 1824 
 sub _get_next_token ($) {
+Line 2296 
 sub _get_next_token ($) {
        }
      } elsif ($self->{state} == DOCTYPE_SYSTEM_IDENTIFIER_SINGLE_QUOTED_STATE) {
        if ($self->{next_char} == 0x0027) { # '
+         !!!cp (211);
          $self->{state} = AFTER_DOCTYPE_SYSTEM_IDENTIFIER_STATE;
          !!!next-input-character;
          redo A;
        } elsif ($self->{next_char} == 0x003E) { # >
+         !!!cp (212);
          !!!parse-error (type => 'unclosed PUBLIC literal');
          $self->{state} = DATA_STATE;
-Line 1838 
 sub _get_next_token ($) {
+Line 2312 
 sub _get_next_token ($) {
          redo A;
        } elsif ($self->{next_char} == -1) {
+         !!!cp (213);
          !!!parse-error (type => 'unclosed SYSTEM literal');
          $self->{state} = DATA_STATE;
-Line 1848 
 sub _get_next_token ($) {
+Line 2323 
 sub _get_next_token ($) {
          redo A;
        } else {
+         !!!cp (214);
          $self->{current_token}->{system_identifier} # DOCTYPE
              .= chr $self->{next_char};
          ## Stay in the state
-Line 1859 
 sub _get_next_token ($) {
+Line 2335 
 sub _get_next_token ($) {
 x0009 => 1, 0x000A => 1, 0x000B => 1, 0x000C => 1, 0x0020 => 1,
              #0x000D => 1, # HT, LF, VT, FF, SP, CR
            }->{$self->{next_char}}) {
+         !!!cp (215);
          ## Stay in the state
          !!!next-input-character;
          redo A;
        } elsif ($self->{next_char} == 0x003E) { # >
+         !!!cp (216);
          $self->{state} = DATA_STATE;
          !!!next-input-character;
-Line 1870 
 sub _get_next_token ($) {
+Line 2348 
 sub _get_next_token ($) {
          redo A;
        } elsif ($self->{next_char} == -1) {
+         !!!cp (217);
          !!!parse-error (type => 'unclosed DOCTYPE');
          $self->{state} = DATA_STATE;
-Line 1880 
 sub _get_next_token ($) {
+Line 2359 
 sub _get_next_token ($) {
          redo A;
        } else {
+         !!!cp (218);
          !!!parse-error (type => 'string after SYSTEM literal');
          #$self->{current_token}->{quirks} = 1;
-Line 1889 
 sub _get_next_token ($) {
+Line 2369 
 sub _get_next_token ($) {
        }
      } elsif ($self->{state} == BOGUS_DOCTYPE_STATE) {
        if ($self->{next_char} == 0x003E) { # >
+         !!!cp (219);
          $self->{state} = DATA_STATE;
          !!!next-input-character;
-Line 1896 
 sub _get_next_token ($) {
+Line 2377 
 sub _get_next_token ($) {
          redo A;
        } elsif ($self->{next_char} == -1) {
+         !!!cp (220);
          !!!parse-error (type => 'unclosed DOCTYPE');
          $self->{state} = DATA_STATE;
          ## reconsume
-Line 1904 
 sub _get_next_token ($) {
+Line 2386 
 sub _get_next_token ($) {
          redo A;
        } else {
+         !!!cp (221);
          ## Stay in the state
          !!!next-input-character;
          redo A;
-Line 1919 
 sub _get_next_token ($) {
+Line 2402 
 sub _get_next_token ($) {
  sub _tokenize_attempt_to_consume_an_entity ($$$) {
    my ($self, $in_attr, $additional) = @_;
+   my ($l, $c) = ($self->{line_prev}, $self->{column_prev});
    if ({
 x0009 => 1, 0x000A => 1, 0x000B => 1, 0x000C => 1, # HT, LF, VT, FF,
 x0020 => 1, 0x003C => 1, 0x0026 => 1, -1 => 1, # SP, <, & # 0x000D # CR
         $additional => 1,
        }->{$self->{next_char}}) {
+     !!!cp (1001);
      ## Don't consume
      ## No error
      return undef;
-Line 1937 
 sub _tokenize_attempt_to_consume_an_enti
+Line 2423 
 sub _tokenize_attempt_to_consume_an_enti
          !!!next-input-character;
          if (0x0030 <= $self->{next_char} and
              $self->{next_char} <= 0x0039) { # 0..9
+           !!!cp (1002);
            $code ||= 0;
            $code *= 0x10;
            $code += $self->{next_char} - 0x0030;
            redo X;
          } elsif (0x0061 <= $self->{next_char} and
                   $self->{next_char} <= 0x0066) { # a..f
+           !!!cp (1003);
            $code ||= 0;
            $code *= 0x10;
            $code += $self->{next_char} - 0x0060 + 9;
            redo X;
          } elsif (0x0041 <= $self->{next_char} and
                   $self->{next_char} <= 0x0046) { # A..F
+           !!!cp (1004);
            $code ||= 0;
            $code *= 0x10;
            $code += $self->{next_char} - 0x0040 + 9;
            redo X;
          } elsif (not defined $code) { # no hexadecimal digit
-           !!!parse-error (type => 'bare hcro');
+           !!!cp (1005);
+           !!!parse-error (type => 'bare hcro', line => $l, column => $c);
            !!!back-next-input-character ($x_char, $self->{next_char});
            $self->{next_char} = 0x0023; # #
            return undef;
          } elsif ($self->{next_char} == 0x003B) { # ;
+           !!!cp (1006);
            !!!next-input-character;
          } else {
-           !!!parse-error (type => 'no refc');
+           !!!cp (1007);
+           !!!parse-error (type => 'no refc', line => $l, column => $c);
          }
          if ($code == 0 or (0xD800 <= $code and $code <= 0xDFFF)) {
-           !!!parse-error (type => sprintf 'invalid character reference:U+%04X', $code);
+           !!!cp (1008);
+           !!!parse-error (type => (sprintf 'invalid character reference:U+%04X', $code), line => $l, column => $c);
            $code = 0xFFFD;
          } elsif ($code > 0x10FFFF) {
-           !!!parse-error (type => sprintf 'invalid character reference:U-%08X', $code);
+           !!!cp (1009);
+           !!!parse-error (type => (sprintf 'invalid character reference:U-%08X', $code), line => $l, column => $c);
            $code = 0xFFFD;
          } elsif ($code == 0x000D) {
-           !!!parse-error (type => 'CR character reference');
+           !!!cp (1010);
+           !!!parse-error (type => 'CR character reference', line => $l, column => $c);
            $code = 0x000A;
          } elsif (0x80 <= $code and $code <= 0x9F) {
-           !!!parse-error (type => sprintf 'C1 character reference:U+%04X', $code);
+           !!!cp (1011);
+           !!!parse-error (type => (sprintf 'C1 character reference:U+%04X', $code), line => $l, column => $c);
            $code = $c1_entity_char->{$code};
          }
          return {type => CHARACTER_TOKEN, data => chr $code,
-                 has_reference => 1};
+                 has_reference => 1,
+                 line => $l, column => $c,
+                };
        } # X
      } elsif (0x0030 <= $self->{next_char} and
               $self->{next_char} <= 0x0039) { # 0..9
-Line 1988 
 sub _tokenize_attempt_to_consume_an_enti
+Line 2486 
 sub _tokenize_attempt_to_consume_an_enti
        while (0x0030 <= $self->{next_char} and
                  $self->{next_char} <= 0x0039) { # 0..9
+         !!!cp (1012);
          $code *= 10;
          $code += $self->{next_char} - 0x0030;
-Line 1995 
 sub _tokenize_attempt_to_consume_an_enti
+Line 2494 
 sub _tokenize_attempt_to_consume_an_enti
        }
        if ($self->{next_char} == 0x003B) { # ;
+         !!!cp (1013);
          !!!next-input-character;
        } else {
-         !!!parse-error (type => 'no refc');
+         !!!cp (1014);
+         !!!parse-error (type => 'no refc', line => $l, column => $c);
        }
        if ($code == 0 or (0xD800 <= $code and $code <= 0xDFFF)) {
-         !!!parse-error (type => sprintf 'invalid character reference:U+%04X', $code);
+         !!!cp (1015);
+         !!!parse-error (type => (sprintf 'invalid character reference:U+%04X', $code), line => $l, column => $c);
          $code = 0xFFFD;
        } elsif ($code > 0x10FFFF) {
-         !!!parse-error (type => sprintf 'invalid character reference:U-%08X', $code);
+         !!!cp (1016);
+         !!!parse-error (type => (sprintf 'invalid character reference:U-%08X', $code), line => $l, column => $c);
          $code = 0xFFFD;
        } elsif ($code == 0x000D) {
-         !!!parse-error (type => 'CR character reference');
+         !!!cp (1017);
+         !!!parse-error (type => 'CR character reference', line => $l, column => $c);
          $code = 0x000A;
        } elsif (0x80 <= $code and $code <= 0x9F) {
-         !!!parse-error (type => sprintf 'C1 character reference:U+%04X', $code);
+         !!!cp (1018);
+         !!!parse-error (type => (sprintf 'C1 character reference:U+%04X', $code), line => $l, column => $c);
          $code = $c1_entity_char->{$code};
        }
-       return {type => CHARACTER_TOKEN, data => chr $code, has_reference => 1};
+       return {type => CHARACTER_TOKEN, data => chr $code, has_reference => 1,
+               line => $l, column => $c,
+              };
      } else {
-       !!!parse-error (type => 'bare nero');
+       !!!cp (1019);
+       !!!parse-error (type => 'bare nero', line => $l, column => $c);
        !!!back-next-input-character ($self->{next_char});
        $self->{next_char} = 0x0023; # #
        return undef;
-Line 2045 
 sub _tokenize_attempt_to_consume_an_enti
+Line 2553 
 sub _tokenize_attempt_to_consume_an_enti
        $entity_name .= chr $self->{next_char};
        if (defined $EntityChar->{$entity_name}) {
          if ($self->{next_char} == 0x003B) { # ;
+           !!!cp (1020);
            $value = $EntityChar->{$entity_name};
            $match = 1;
            !!!next-input-character;
            last;
          } else {
+           !!!cp (1021);
            $value = $EntityChar->{$entity_name};
            $match = -1;
            !!!next-input-character;
          }
        } else {
+         !!!cp (1022);
          $value .= chr $self->{next_char};
          $match *= 2;
          !!!next-input-character;
-Line 2062 
 sub _tokenize_attempt_to_consume_an_enti
+Line 2573 
 sub _tokenize_attempt_to_consume_an_enti
      }
      if ($match > 0) {
-       return {type => CHARACTER_TOKEN, data => $value, has_reference => 1};
+       !!!cp (1023);
+       return {type => CHARACTER_TOKEN, data => $value, has_reference => 1,
+               line => $l, column => $c,
+              };
      } elsif ($match < 0) {
-       !!!parse-error (type => 'no refc');
+       !!!parse-error (type => 'no refc', line => $l, column => $c);
        if ($in_attr and $match < -1) {
-         return {type => CHARACTER_TOKEN, data => '&'.$entity_name};
+         !!!cp (1024);
-       } else {
+         return {type => CHARACTER_TOKEN, data => '&'.$entity_name,
-         return {type => CHARACTER_TOKEN, data => $value, has_reference => 1};
+                 line => $l, column => $c,
+                };
+       } else {
+         !!!cp (1025);
+         return {type => CHARACTER_TOKEN, data => $value, has_reference => 1,
+                 line => $l, column => $c,
+                };
        }
      } else {
-       !!!parse-error (type => 'bare ero');
+       !!!cp (1026);
+       !!!parse-error (type => 'bare ero', line => $l, column => $c);
        ## NOTE: "No characters are consumed" in the spec.
-       return {type => CHARACTER_TOKEN, data => '&'.$value};
+       return {type => CHARACTER_TOKEN, data => '&'.$value,
+               line => $l, column => $c,
+              };
      }
    } else {
+     !!!cp (1027);
      ## no characters are consumed
-     !!!parse-error (type => 'bare ero');
+     !!!parse-error (type => 'bare ero', line => $l, column => $c);
      return undef;
    }
  } # _tokenize_attempt_to_consume_an_entity
-Line 2115 
 sub _construct_tree ($) {
+Line 2639 
 sub _construct_tree ($) {
    !!!next-token;
-   $self->{insertion_mode} = BEFORE_HEAD_IM;
    undef $self->{form_element};
    undef $self->{head_element};
    $self->{open_elements} = [];
    undef $self->{inner_html_node};
+   ## NOTE: The "initial" insertion mode.
    $self->_tree_construction_initial; # MUST
+   ## NOTE: The "before html" insertion mode.
    $self->_tree_construction_root_element;
+   $self->{insertion_mode} = BEFORE_HEAD_IM;
+   ## NOTE: The "before head" insertion mode and so on.
    $self->_tree_construction_main;
  } # _construct_tree
  sub _tree_construction_initial ($) {
    my $self = shift;
+   ## NOTE: "initial" insertion mode
    INITIAL: {
      if ($token->{type} == DOCTYPE_TOKEN) {
        ## NOTE: Conformance checkers MAY, instead of reporting "not HTML5"
-Line 2139 
 sub _tree_construction_initial ($) {
+Line 2671 
 sub _tree_construction_initial ($) {
        if (not defined $token->{name} or # <!DOCTYPE>
            defined $token->{public_identifier} or
            defined $token->{system_identifier}) {
-         !!!parse-error (type => 'not HTML5');
+         !!!cp ('t1');
+         !!!parse-error (type => 'not HTML5', token => $token);
        } elsif ($doctype_name ne 'HTML') {
+         !!!cp ('t2');
          ## ISSUE: ASCII case-insensitive? (in fact it does not matter)
-         !!!parse-error (type => 'not HTML5');
+         !!!parse-error (type => 'not HTML5', token => $token);
+       } else {
+         !!!cp ('t3');
        }
        my $doctype = $self->{document}->create_document_type_definition
          ($token->{name}); ## ISSUE: If name is missing (e.g. <!DOCTYPE>)?
+       ## NOTE: Default value for both |public_id| and |system_id| attributes
+       ## are empty strings, so that we don't set any value in missing cases.
        $doctype->public_id ($token->{public_identifier})
            if defined $token->{public_identifier};
        $doctype->system_id ($token->{system_identifier})
-Line 2156 
 sub _tree_construction_initial ($) {
+Line 2694 
 sub _tree_construction_initial ($) {
        $self->{document}->append_child ($doctype);
        if ($token->{quirks} or $doctype_name ne 'HTML') {
+         !!!cp ('t4');
          $self->{document}->manakai_compat_mode ('quirks');
        } elsif (defined $token->{public_identifier}) {
          my $pubid = $token->{public_identifier};
-Line 2234 
 sub _tree_construction_initial ($) {
+Line 2773 
 sub _tree_construction_initial ($) {
            "-/W3C/DTD HTML 4.0 TRANSITIONAL/EN" => 1,
            "HTML" => 1,
          }->{$pubid}) {
+           !!!cp ('t5');
            $self->{document}->manakai_compat_mode ('quirks');
          } elsif ($pubid eq "-//W3C//DTD HTML 4.01 FRAMESET//EN" or
                   $pubid eq "-//W3C//DTD HTML 4.01 TRANSITIONAL//EN") {
            if (defined $token->{system_identifier}) {
+             !!!cp ('t6');
              $self->{document}->manakai_compat_mode ('quirks');
            } else {
+             !!!cp ('t7');
              $self->{document}->manakai_compat_mode ('limited quirks');
            }
-         } elsif ($pubid eq "-//W3C//DTD XHTML 1.0 Frameset//EN" or
+         } elsif ($pubid eq "-//W3C//DTD XHTML 1.0 FRAMESET//EN" or
-                  $pubid eq "-//W3C//DTD XHTML 1.0 Transitional//EN") {
+                  $pubid eq "-//W3C//DTD XHTML 1.0 TRANSITIONAL//EN") {
+           !!!cp ('t8');
            $self->{document}->manakai_compat_mode ('limited quirks');
+         } else {
+           !!!cp ('t9');
          }
+       } else {
+         !!!cp ('t10');
        }
        if (defined $token->{system_identifier}) {
          my $sysid = $token->{system_identifier};
          $sysid =~ tr/A-Z/a-z/;
          if ($sysid eq "http://www.ibm.com/data/dtd/v11/ibmxhtml1-transitional.dtd") {
+           ## TODO: Check the spec: PUBLIC "(limited quirks)" "(quirks)"
            $self->{document}->manakai_compat_mode ('quirks');
+           !!!cp ('t11');
+         } else {
+           !!!cp ('t12');
          }
+       } else {
+         !!!cp ('t13');
        }
-       ## Go to the root element phase.
+       ## Go to the "before html" insertion mode.
        !!!next-token;
        return;
      } elsif ({
-Line 2263 
 sub _tree_construction_initial ($) {
+Line 2816 
 sub _tree_construction_initial ($) {
                END_TAG_TOKEN, 1,
                END_OF_FILE_TOKEN, 1,
               }->{$token->{type}}) {
-       !!!parse-error (type => 'no DOCTYPE');
+       !!!cp ('t14');
+       !!!parse-error (type => 'no DOCTYPE', token => $token);
        $self->{document}->manakai_compat_mode ('quirks');
-       ## Go to the root element phase
+       ## Go to the "before html" insertion mode.
        ## reprocess
        return;
      } elsif ($token->{type} == CHARACTER_TOKEN) {
-Line 2273 
 sub _tree_construction_initial ($) {
+Line 2827 
 sub _tree_construction_initial ($) {
          ## Ignore the token
          unless (length $token->{data}) {
-           ## Stay in the phase
+           !!!cp ('t15');
+           ## Stay in the insertion mode.
            !!!next-token;
            redo INITIAL;
+         } else {
+           !!!cp ('t16');
          }
+       } else {
+         !!!cp ('t17');
        }
-       !!!parse-error (type => 'no DOCTYPE');
+       !!!parse-error (type => 'no DOCTYPE', token => $token);
        $self->{document}->manakai_compat_mode ('quirks');
-       ## Go to the root element phase
+       ## Go to the "before html" insertion mode.
        ## reprocess
        return;
      } elsif ($token->{type} == COMMENT_TOKEN) {
+       !!!cp ('t18');
        my $comment = $self->{document}->create_comment ($token->{data});
        $self->{document}->append_child ($comment);
-       ## Stay in the phase.
+       ## Stay in the insertion mode.
        !!!next-token;
        redo INITIAL;
      } else {
        die "$0: $token->{type}: Unknown token type";
      }
    } # INITIAL
+   die "$0: _tree_construction_initial: This should be never reached";
  } # _tree_construction_initial
  sub _tree_construction_root_element ($) {
    my $self = shift;
+   ## NOTE: "before html" insertion mode.
    B: {
        if ($token->{type} == DOCTYPE_TOKEN) {
-         !!!parse-error (type => 'in html:#DOCTYPE');
+         !!!cp ('t19');
+         !!!parse-error (type => 'in html:#DOCTYPE', token => $token);
          ## Ignore the token
-         ## Stay in the phase
+         ## Stay in the insertion mode.
          !!!next-token;
          redo B;
        } elsif ($token->{type} == COMMENT_TOKEN) {
+         !!!cp ('t20');
          my $comment = $self->{document}->create_comment ($token->{data});
          $self->{document}->append_child ($comment);
-         ## Stay in the phase
+         ## Stay in the insertion mode.
          !!!next-token;
          redo B;
        } elsif ($token->{type} == CHARACTER_TOKEN) {
-Line 2318 
 sub _tree_construction_root_element ($)
+Line 2884 
 sub _tree_construction_root_element ($)
            ## Ignore the token.
            unless (length $token->{data}) {
-             ## Stay in the phase
+             !!!cp ('t21');
+             ## Stay in the insertion mode.
              !!!next-token;
              redo B;
+           } else {
+             !!!cp ('t22');
            }
+         } else {
+           !!!cp ('t23');
          }
          $self->{application_cache_selection}->(undef);
          #
        } elsif ($token->{type} == START_TAG_TOKEN) {
-         if ($token->{tag_name} eq 'html' and
+         if ($token->{tag_name} eq 'html') {
-             $token->{attributes}->{manifest}) {
+           my $root_element;
-           $self->{application_cache_selection}
+           !!!create-element ($root_element, $token->{tag_name}, $token->{attributes}, $token);
-                ->($token->{attributes}->{manifest}->{value});
+           $self->{document}->append_child ($root_element);
-           ## ISSUE: No relative reference resolution?
+           push @{$self->{open_elements}},
+               [$root_element, $el_category->{html}];
+           if ($token->{attributes}->{manifest}) {
+             !!!cp ('t24');
+             $self->{application_cache_selection}
+                 ->($token->{attributes}->{manifest}->{value});
+             ## ISSUE: Spec is unclear on relative references.
+             ## According to Hixie (#whatwg 2008-03-19), it should be
+             ## resolved against the base URI of the document in HTML
+             ## or xml:base of the element in XHTML.
+           } else {
+             !!!cp ('t25');
+             $self->{application_cache_selection}->(undef);
+           }
+           !!!next-token;
+           return; ## Go to the "before head" insertion mode.
          } else {
-           $self->{application_cache_selection}->(undef);
+           !!!cp ('t25.1');
+           #
          }
-         ## ISSUE: There is an issue in the spec
-         #
        } elsif ({
                  END_TAG_TOKEN, 1,
                  END_OF_FILE_TOKEN, 1,
                 }->{$token->{type}}) {
-         $self->{application_cache_selection}->(undef);
+         !!!cp ('t26');
-         ## ISSUE: There is an issue in the spec
          #
        } else {
          die "$0: $token->{type}: Unknown token type";
        }
-       my $root_element; !!!create-element ($root_element, 'html');
+     my $root_element; !!!create-element ($root_element, 'html',, $token);
-       $self->{document}->append_child ($root_element);
+     $self->{document}->append_child ($root_element);
-       push @{$self->{open_elements}}, [$root_element, 'html'];
+     push @{$self->{open_elements}}, [$root_element, $el_category->{html}];
-       ## reprocess
-       #redo B;
+     $self->{application_cache_selection}->(undef);
-       return; ## Go to the main phase.
+     ## NOTE: Reprocess the token.
+     return; ## Go to the "before head" insertion mode.
+     ## ISSUE: There is an issue in the spec
    } # B
+   die "$0: _tree_construction_root_element: This should never be reached";
  } # _tree_construction_root_element
  sub _reset_insertion_mode ($) {
-Line 2372 
 sub _reset_insertion_mode ($) {
+Line 2962 
 sub _reset_insertion_mode ($) {
      ## Step 3
      S3: {
-       ## ISSUE: Oops! "If node is the first node in the stack of open
-       ## elements, then set last to true. If the context element of the
-       ## HTML fragment parsing algorithm is neither a td element nor a
-       ## th element, then set node to the context element. (fragment case)":
-       ## The second "if" is in the scope of the first "if"!?
        if ($self->{open_elements}->[0]->[0] eq $node->[0]) {
          $last = 1;
          if (defined $self->{inner_html_node}) {
-           if ($self->{inner_html_node}->[1] eq 'td' or
+           if ($self->{inner_html_node}->[1] & TABLE_CELL_EL) {
-               $self->{inner_html_node}->[1] eq 'th') {
+             !!!cp ('t27');
              #
            } else {
+             !!!cp ('t28');
              $node = $self->{inner_html_node};
            }
          }
-Line 2392 
 sub _reset_insertion_mode ($) {
+Line 2978 
 sub _reset_insertion_mode ($) {
        ## Step 4..13
        my $new_mode = {
                        select => IN_SELECT_IM,
+                       ## NOTE: |option| and |optgroup| do not set
+                       ## insertion mode to "in select" by themselves.
                        td => IN_CELL_IM,
                        th => IN_CELL_IM,
                        tr => IN_ROW_IM,
-Line 2404 
 sub _reset_insertion_mode ($) {
+Line 2992 
 sub _reset_insertion_mode ($) {
                        head => IN_BODY_IM, # not in head!
                        body => IN_BODY_IM,
                        frameset => IN_FRAMESET_IM,
-                      }->{$node->[1]};
+                      }->{$node->[0]->manakai_local_name};
+                      ## TODO: Foreign namespace case OK?
        $self->{insertion_mode} = $new_mode and return if defined $new_mode;
        ## Step 14
-       if ($node->[1] eq 'html') {
+       if ($node->[1] & HTML_EL) {
          unless (defined $self->{head_element}) {
+           !!!cp ('t29');
            $self->{insertion_mode} = BEFORE_HEAD_IM;
          } else {
+           ## ISSUE: Can this state be reached?
+           !!!cp ('t30');
            $self->{insertion_mode} = AFTER_HEAD_IM;
          }
          return;
+       } else {
+         !!!cp ('t31');
        }
        ## Step 15
-Line 2427 
 sub _reset_insertion_mode ($) {
+Line 3021 
 sub _reset_insertion_mode ($) {
        ## Step 17
        redo S3;
      } # S3
+   die "$0: _reset_insertion_mode: This line should never be reached";
  } # _reset_insertion_mode
  sub _tree_construction_main ($) {
-Line 2448 
 sub _tree_construction_main ($) {
+Line 3044 
 sub _tree_construction_main ($) {
      return if $entry->[0] eq '#marker';
      for (@{$self->{open_elements}}) {
        if ($entry->[0] eq $_->[0]) {
+         !!!cp ('t32');
          return;
        }
      }
-Line 2462 
 sub _tree_construction_main ($) {
+Line 3059 
 sub _tree_construction_main ($) {
        ## Step 6
        if ($entry->[0] eq '#marker') {
+         !!!cp ('t33_1');
          #
        } else {
          my $in_open_elements;
          OE: for (@{$self->{open_elements}}) {
            if ($entry->[0] eq $_->[0]) {
+             !!!cp ('t33');
              $in_open_elements = 1;
              last OE;
            }
          }
          if ($in_open_elements) {
+           !!!cp ('t34');
            #
          } else {
+           ## NOTE: <!DOCTYPE HTML><p><b><i><u></p> <p>X
+           !!!cp ('t35');
            redo S4;
          }
        }
-Line 2496 
 sub _tree_construction_main ($) {
+Line 3098 
 sub _tree_construction_main ($) {
        ## Step 11
        unless ($clone->[0] eq $active_formatting_elements->[-1]->[0]) {
+         !!!cp ('t36');
          ## Step 7'
          $i++;
          $entry = $active_formatting_elements->[$i];
          redo S7;
        }
+       !!!cp ('t37');
      } # S7
    }; # $reconstruct_active_formatting_elements
    my $clear_up_to_marker = sub {
      for (reverse 0..$#$active_formatting_elements) {
        if ($active_formatting_elements->[$_]->[0] eq '#marker') {
+         !!!cp ('t38');
          splice @$active_formatting_elements, $_;
          return;
        }
      }
+     !!!cp ('t39');
    }; # $clear_up_to_marker
-   my $parse_rcdata = sub ($$) {
+   my $insert;
-     my ($content_model_flag, $insert) = @_;
+   my $parse_rcdata = sub ($) {
+     my ($content_model_flag) = @_;
      ## Step 1
      my $start_tag_name = $token->{tag_name};
      my $el;
-     !!!create-element ($el, $start_tag_name, $token->{attributes});
+     !!!create-element ($el, $start_tag_name, $token->{attributes}, $token);
      ## Step 2
-     $insert->($el); # /context node/->append_child ($el)
+     $insert->($el);
      ## Step 3
      $self->{content_model} = $content_model_flag; # CDATA or RCDATA
-Line 2533 
 sub _tree_construction_main ($) {
+Line 3143 
 sub _tree_construction_main ($) {
      my $text = '';
      !!!next-token;
      while ($token->{type} == CHARACTER_TOKEN) { # or until stop tokenizing
+       !!!cp ('t40');
        $text .= $token->{data};
        !!!next-token;
      }
      ## Step 5
      if (length $text) {
+       !!!cp ('t41');
        my $text = $self->{document}->create_text_node ($text);
        $el->append_child ($text);
      }
-Line 2547 
 sub _tree_construction_main ($) {
+Line 3159 
 sub _tree_construction_main ($) {
      $self->{content_model} = PCDATA_CONTENT_MODEL;
      ## Step 7
-     if ($token->{type} == END_TAG_TOKEN and $token->{tag_name} eq $start_tag_name) {
+     if ($token->{type} == END_TAG_TOKEN and
+         $token->{tag_name} eq $start_tag_name) {
+       !!!cp ('t42');
        ## Ignore the token
-     } elsif ($content_model_flag == CDATA_CONTENT_MODEL) {
-       !!!parse-error (type => 'in CDATA:#'.$token->{type});
-     } elsif ($content_model_flag == RCDATA_CONTENT_MODEL) {
-       !!!parse-error (type => 'in RCDATA:#'.$token->{type});
      } else {
-       die "$0: $content_model_flag in parse_rcdata";
+       ## NOTE: An end-of-file token.
+       if ($content_model_flag == CDATA_CONTENT_MODEL) {
+         !!!cp ('t43');
+         !!!parse-error (type => 'in CDATA:#'.$token->{type}, token => $token);
+       } elsif ($content_model_flag == RCDATA_CONTENT_MODEL) {
+         !!!cp ('t44');
+         !!!parse-error (type => 'in RCDATA:#'.$token->{type}, token => $token);
+       } else {
+         die "$0: $content_model_flag in parse_rcdata";
+       }
      }
      !!!next-token;
    }; # $parse_rcdata
-   my $script_start_tag = sub ($) {
+   my $script_start_tag = sub () {
-     my $insert = $_[0];
      my $script_el;
-     !!!create-element ($script_el, 'script', $token->{attributes});
+     !!!create-element ($script_el, 'script', $token->{attributes}, $token);
      ## TODO: mark as "parser-inserted"
      $self->{content_model} = CDATA_CONTENT_MODEL;
-Line 2571 
 sub _tree_construction_main ($) {
+Line 3189 
 sub _tree_construction_main ($) {
      my $text = '';
      !!!next-token;
      while ($token->{type} == CHARACTER_TOKEN) {
+       !!!cp ('t45');
        $text .= $token->{data};
        !!!next-token;
      } # stop if non-character token or tokenizer stops tokenising
      if (length $text) {
+       !!!cp ('t46');
        $script_el->manakai_append_text ($text);
      }
-Line 2582 
 sub _tree_construction_main ($) {
+Line 3202 
 sub _tree_construction_main ($) {
      if ($token->{type} == END_TAG_TOKEN and
          $token->{tag_name} eq 'script') {
+       !!!cp ('t47');
        ## Ignore the token
      } else {
-       !!!parse-error (type => 'in CDATA:#'.$token->{type});
+       !!!cp ('t48');
+       !!!parse-error (type => 'in CDATA:#'.$token->{type}, token => $token);
        ## ISSUE: And ignore?
        ## TODO: mark as "already executed"
      }
      if (defined $self->{inner_html_node}) {
+       !!!cp ('t49');
        ## TODO: mark as "already executed"
      } else {
+       !!!cp ('t50');
        ## TODO: $old_insertion_point = current insertion point
        ## TODO: insertion point = just before the next input character
-Line 2605 
 sub _tree_construction_main ($) {
+Line 3229 
 sub _tree_construction_main ($) {
      !!!next-token;
    }; # $script_start_tag
+   ## NOTE: $open_tables->[-1]->[0] is the "current table" element node.
+   ## NOTE: $open_tables->[-1]->[1] is the "tainted" flag.
+   my $open_tables = [[$self->{open_elements}->[0]->[0]]];
    my $formatting_end_tag = sub {
-     my $tag_name = shift;
+     my $end_tag_token = shift;
+     my $tag_name = $end_tag_token->{tag_name};
+     ## NOTE: The adoption agency algorithm (AAA).
      FET: {
        ## Step 1
        my $formatting_element;
        my $formatting_element_i_in_active;
        AFE: for (reverse 0..$#$active_formatting_elements) {
-         if ($active_formatting_elements->[$_]->[1] eq $tag_name) {
+         if ($active_formatting_elements->[$_]->[0] eq '#marker') {
+           !!!cp ('t52');
+           last AFE;
+         } elsif ($active_formatting_elements->[$_]->[0]->manakai_local_name
+                      eq $tag_name) {
+           !!!cp ('t51');
            $formatting_element = $active_formatting_elements->[$_];
            $formatting_element_i_in_active = $_;
            last AFE;
-         } elsif ($active_formatting_elements->[$_]->[0] eq '#marker') {
-           last AFE;
          }
        } # AFE
        unless (defined $formatting_element) {
-         !!!parse-error (type => 'unmatched end tag:'.$tag_name);
+         !!!cp ('t53');
+         !!!parse-error (type => 'unmatched end tag:'.$tag_name, token => $end_tag_token);
          ## Ignore the token
          !!!next-token;
          return;
-Line 2634 
 sub _tree_construction_main ($) {
+Line 3269 
 sub _tree_construction_main ($) {
          my $node = $self->{open_elements}->[$_];
          if ($node->[0] eq $formatting_element->[0]) {
            if ($in_scope) {
+             !!!cp ('t54');
              $formatting_element_i_in_open = $_;
              last INSCOPE;
            } else { # in open elements but not in scope
-             !!!parse-error (type => 'unmatched end tag:'.$token->{tag_name});
+             !!!cp ('t55');
+             !!!parse-error (type => 'unmatched end tag:'.$token->{tag_name},
+                             token => $end_tag_token);
              ## Ignore the token
              !!!next-token;
              return;
            }
-         } elsif ({
+         } elsif ($node->[1] & SCOPING_EL) {
-                   table => 1, caption => 1, td => 1, th => 1,
+           !!!cp ('t56');
-                   button => 1, marquee => 1, object => 1, html => 1,
-                  }->{$node->[1]}) {
            $in_scope = 0;
          }
        } # INSCOPE
        unless (defined $formatting_element_i_in_open) {
-         !!!parse-error (type => 'unmatched end tag:'.$token->{tag_name});
+         !!!cp ('t57');
+         !!!parse-error (type => 'unmatched end tag:'.$token->{tag_name},
+                         token => $end_tag_token);
          pop @$active_formatting_elements; # $formatting_element
          !!!next-token; ## TODO: ok?
          return;
        }
        if (not $self->{open_elements}->[-1]->[0] eq $formatting_element->[0]) {
-         !!!parse-error (type => 'not closed:'.$self->{open_elements}->[-1]->[1]);
+         !!!cp ('t58');
+         !!!parse-error (type => 'not closed',
+                         value => $self->{open_elements}->[-1]->[0]
+                             ->manakai_local_name,
+                         token => $end_tag_token);
        }
        ## Step 2
-Line 2664 
 sub _tree_construction_main ($) {
+Line 3306 
 sub _tree_construction_main ($) {
        my $furthest_block_i_in_open;
        OE: for (reverse 0..$#{$self->{open_elements}}) {
          my $node = $self->{open_elements}->[$_];
-         if (not $formatting_category->{$node->[1]} and
+         if (not ($node->[1] & FORMATTING_EL) and
              #not $phrasing_category->{$node->[1]} and
-             ($special_category->{$node->[1]} or
+             ($node->[1] & SPECIAL_EL or
-              $scoping_category->{$node->[1]})) {
+              $node->[1] & SCOPING_EL)) { ## Scoping is redundant, maybe
+           !!!cp ('t59');
            $furthest_block = $node;
            $furthest_block_i_in_open = $_;
          } elsif ($node->[0] eq $formatting_element->[0]) {
+           !!!cp ('t60');
            last OE;
          }
        } # OE
        ## Step 3
        unless (defined $furthest_block) { # MUST
+         !!!cp ('t61');
          splice @{$self->{open_elements}}, $formatting_element_i_in_open;
          splice @$active_formatting_elements, $formatting_element_i_in_active, 1;
          !!!next-token;
-Line 2689 
 sub _tree_construction_main ($) {
+Line 3334 
 sub _tree_construction_main ($) {
        ## Step 5
        my $furthest_block_parent = $furthest_block->[0]->parent_node;
        if (defined $furthest_block_parent) {
+         !!!cp ('t62');
          $furthest_block_parent->remove_child ($furthest_block->[0]);
        }
-Line 2711 
 sub _tree_construction_main ($) {
+Line 3357 
 sub _tree_construction_main ($) {
          S7S2: {
            for (reverse 0..$#$active_formatting_elements) {
              if ($active_formatting_elements->[$_]->[0] eq $node->[0]) {
+               !!!cp ('t63');
                $node_i_in_active = $_;
                last S7S2;
              }
-Line 2724 
 sub _tree_construction_main ($) {
+Line 3371 
 sub _tree_construction_main ($) {
          ## Step 4
          if ($last_node->[0] eq $furthest_block->[0]) {
+           !!!cp ('t64');
            $bookmark_prev_el = $node->[0];
          }
          ## Step 5
          if ($node->[0]->has_child_nodes ()) {
+           !!!cp ('t65');
            my $clone = [$node->[0]->clone_node (0), $node->[1]];
            $active_formatting_elements->[$node_i_in_active] = $clone;
            $self->{open_elements}->[$node_i_in_open] = $clone;
-Line 2746 
 sub _tree_construction_main ($) {
+Line 3395 
 sub _tree_construction_main ($) {
        } # S7
        ## Step 8
-       $common_ancestor_node->[0]->append_child ($last_node->[0]);
+       if ($common_ancestor_node->[1] & TABLE_ROWS_EL) {
+         my $foster_parent_element;
+         my $next_sibling;
+         OE: for (reverse 0..$#{$self->{open_elements}}) {
+           if ($self->{open_elements}->[$_]->[1] & TABLE_EL) {
+                              my $parent = $self->{open_elements}->[$_]->[0]->parent_node;
+                              if (defined $parent and $parent->node_type == 1) {
+                                !!!cp ('t65.1');
+                                $foster_parent_element = $parent;
+                                $next_sibling = $self->{open_elements}->[$_]->[0];
+                              } else {
+                                !!!cp ('t65.2');
+                                $foster_parent_element
+                                  = $self->{open_elements}->[$_ - 1]->[0];
+                              }
+                              last OE;
+                            }
+                          } # OE
+                          $foster_parent_element = $self->{open_elements}->[0]->[0]
+                            unless defined $foster_parent_element;
+         $foster_parent_element->insert_before ($last_node->[0], $next_sibling);
+         $open_tables->[-1]->[1] = 1; # tainted
+       } else {
+         !!!cp ('t65.3');
+         $common_ancestor_node->[0]->append_child ($last_node->[0]);
+       }
        ## Step 9
        my $clone = [$formatting_element->[0]->clone_node (0),
-Line 2763 
 sub _tree_construction_main ($) {
+Line 3437 
 sub _tree_construction_main ($) {
        my $i;
        AFE: for (reverse 0..$#$active_formatting_elements) {
          if ($active_formatting_elements->[$_]->[0] eq $formatting_element->[0]) {
+           !!!cp ('t66');
            splice @$active_formatting_elements, $_, 1;
            $i-- and last AFE if defined $i;
          } elsif ($active_formatting_elements->[$_]->[0] eq $bookmark_prev_el) {
+           !!!cp ('t67');
            $i = $_;
          }
        } # AFE
-Line 2775 
 sub _tree_construction_main ($) {
+Line 3451 
 sub _tree_construction_main ($) {
        undef $i;
        OE: for (reverse 0..$#{$self->{open_elements}}) {
          if ($self->{open_elements}->[$_]->[0] eq $formatting_element->[0]) {
+           !!!cp ('t68');
            splice @{$self->{open_elements}}, $_, 1;
            $i-- and last OE if defined $i;
          } elsif ($self->{open_elements}->[$_]->[0] eq $furthest_block->[0]) {
+           !!!cp ('t69');
            $i = $_;
          }
        } # OE
-Line 2788 
 sub _tree_construction_main ($) {
+Line 3466 
 sub _tree_construction_main ($) {
      } # FET
    }; # $formatting_end_tag
-   my $insert_to_current = sub {
+   $insert = my $insert_to_current = sub {
      $self->{open_elements}->[-1]->[0]->append_child ($_[0]);
    }; # $insert_to_current
    my $insert_to_foster = sub {
-                        my $child = shift;
+     my $child = shift;
-                        if ({
+     if ($self->{open_elements}->[-1]->[1] & TABLE_ROWS_EL) {
-                             table => 1, tbody => 1, tfoot => 1,
+       # MUST
-                             thead => 1, tr => 1,
+       my $foster_parent_element;
-                            }->{$self->{open_elements}->[-1]->[1]}) {
+       my $next_sibling;
-                          # MUST
+       OE: for (reverse 0..$#{$self->{open_elements}}) {
-                          my $foster_parent_element;
+         if ($self->{open_elements}->[$_]->[1] & TABLE_EL) {
-                          my $next_sibling;
-                          OE: for (reverse 0..$#{$self->{open_elements}}) {
-                            if ($self->{open_elements}->[$_]->[1] eq 'table') {
                               my $parent = $self->{open_elements}->[$_]->[0]->parent_node;
                               if (defined $parent and $parent->node_type == 1) {
+                                !!!cp ('t70');
                                 $foster_parent_element = $parent;
                                 $next_sibling = $self->{open_elements}->[$_]->[0];
                               } else {
+                                !!!cp ('t71');
                                 $foster_parent_element
                                   = $self->{open_elements}->[$_ - 1]->[0];
                               }
-Line 2818 
 sub _tree_construction_main ($) {
+Line 3495 
 sub _tree_construction_main ($) {
                             unless defined $foster_parent_element;
                           $foster_parent_element->insert_before
                             ($child, $next_sibling);
-                        } else {
+       $open_tables->[-1]->[1] = 1; # tainted
-                          $self->{open_elements}->[-1]->[0]->append_child ($child);
+     } else {
-                        }
+       !!!cp ('t72');
+       $self->{open_elements}->[-1]->[0]->append_child ($child);
+     }
    }; # $insert_to_foster
-   my $insert;
    B: {
      if ($token->{type} == DOCTYPE_TOKEN) {
-       !!!parse-error (type => 'DOCTYPE in the middle');
+       !!!cp ('t73');
+       !!!parse-error (type => 'DOCTYPE in the middle', token => $token);
        ## Ignore the token
        ## Stay in the phase
        !!!next-token;
        redo B;
-     } elsif ($token->{type} == END_OF_FILE_TOKEN) {
-       if ($self->{insertion_mode} & AFTER_HTML_IMS) {
-         #
-       } else {
-         ## Generate implied end tags
-         if ({
-              dd => 1, dt => 1, li => 1, p => 1, td => 1, th => 1, tr => 1,
-              tbody => 1, tfoot=> 1, thead => 1,
-             }->{$self->{open_elements}->[-1]->[1]}) {
-           !!!back-token;
-           $token = {type => END_TAG_TOKEN, tag_name => $self->{open_elements}->[-1]->[1]};
-           redo B;
-         }
-         if (@{$self->{open_elements}} > 2 or
-             (@{$self->{open_elements}} == 2 and $self->{open_elements}->[1]->[1] ne 'body')) {
-           !!!parse-error (type => 'not closed:'.$self->{open_elements}->[-1]->[1]);
-         } elsif (defined $self->{inner_html_node} and
-                  @{$self->{open_elements}} > 1 and
-                  $self->{open_elements}->[1]->[1] ne 'body') {
-           !!!parse-error (type => 'not closed:'.$self->{open_elements}->[-1]->[1]);
-         }
-         ## ISSUE: There is an issue in the spec.
-       }
-       ## Stop parsing
-       last B;
      } elsif ($token->{type} == START_TAG_TOKEN and
               $token->{tag_name} eq 'html') {
        if ($self->{insertion_mode} == AFTER_HTML_BODY_IM) {
-         ## Turn into the main phase
+         !!!cp ('t79');
-         !!!parse-error (type => 'after html:html');
+         !!!parse-error (type => 'after html:html', token => $token);
          $self->{insertion_mode} = AFTER_BODY_IM;
        } elsif ($self->{insertion_mode} == AFTER_HTML_FRAMESET_IM) {
-         ## Turn into the main phase
+         !!!cp ('t80');
-         !!!parse-error (type => 'after html:html');
+         !!!parse-error (type => 'after html:html', token => $token);
          $self->{insertion_mode} = AFTER_FRAMESET_IM;
+       } else {
+         !!!cp ('t81');
        }
- ## ISSUE: "aa<html>" is not a parse error.
+       !!!cp ('t82');
- ## ISSUE: "<html>" in fragment is not a parse error.
+       !!!parse-error (type => 'not first start tag', token => $token);
-       unless ($token->{first_start_tag}) {
-         !!!parse-error (type => 'not first start tag');
-       }
        my $top_el = $self->{open_elements}->[0]->[0];
        for my $attr_name (keys %{$token->{attributes}}) {
          unless ($top_el->has_attribute_ns (undef, $attr_name)) {
+           !!!cp ('t84');
            $top_el->set_attribute_ns
              (undef, [undef, $attr_name],
               $token->{attributes}->{$attr_name}->{value});
-Line 2890 
 sub _tree_construction_main ($) {
+Line 3540 
 sub _tree_construction_main ($) {
      } elsif ($token->{type} == COMMENT_TOKEN) {
        my $comment = $self->{document}->create_comment ($token->{data});
        if ($self->{insertion_mode} & AFTER_HTML_IMS) {
+         !!!cp ('t85');
          $self->{document}->append_child ($comment);
        } elsif ($self->{insertion_mode} == AFTER_BODY_IM) {
+         !!!cp ('t86');
          $self->{open_elements}->[0]->[0]->append_child ($comment);
        } else {
+         !!!cp ('t87');
          $self->{open_elements}->[-1]->[0]->append_child ($comment);
        }
        !!!next-token;
-Line 2901 
 sub _tree_construction_main ($) {
+Line 3554 
 sub _tree_construction_main ($) {
      } elsif ($self->{insertion_mode} & HEAD_IMS) {
        if ($token->{type} == CHARACTER_TOKEN) {
          if ($token->{data} =~ s/^([\x09\x0A\x0B\x0C\x20]+)//) {
-           $self->{open_elements}->[-1]->[0]->manakai_append_text ($1);
+           unless ($self->{insertion_mode} == BEFORE_HEAD_IM) {
+             !!!cp ('t88.2');
+             $self->{open_elements}->[-1]->[0]->manakai_append_text ($1);
+           } else {
+             !!!cp ('t88.1');
+             ## Ignore the token.
+             !!!next-token;
+             redo B;
+           }
            unless (length $token->{data}) {
+             !!!cp ('t88');
              !!!next-token;
              redo B;
            }
          }
          if ($self->{insertion_mode} == BEFORE_HEAD_IM) {
+           !!!cp ('t89');
            ## As if <head>
-           !!!create-element ($self->{head_element}, 'head');
+           !!!create-element ($self->{head_element}, 'head',, $token);
            $self->{open_elements}->[-1]->[0]->append_child ($self->{head_element});
-           push @{$self->{open_elements}}, [$self->{head_element}, 'head'];
+           push @{$self->{open_elements}},
+               [$self->{head_element}, $el_category->{head}];
            ## Reprocess in the "in head" insertion mode...
            pop @{$self->{open_elements}};
            ## Reprocess in the "after head" insertion mode...
          } elsif ($self->{insertion_mode} == IN_HEAD_NOSCRIPT_IM) {
+           !!!cp ('t90');
            ## As if </noscript>
            pop @{$self->{open_elements}};
-           !!!parse-error (type => 'in noscript:#character');
+           !!!parse-error (type => 'in noscript:#character', token => $token);
            ## Reprocess in the "in head" insertion mode...
            ## As if </head>
-Line 2929 
 sub _tree_construction_main ($) {
+Line 3594 
 sub _tree_construction_main ($) {
            ## Reprocess in the "after head" insertion mode...
          } elsif ($self->{insertion_mode} == IN_HEAD_IM) {
+           !!!cp ('t91');
            pop @{$self->{open_elements}};
            ## Reprocess in the "after head" insertion mode...
+         } else {
+           !!!cp ('t92');
          }
-             ## "after head" insertion mode
+         ## "after head" insertion mode
-             ## As if <body>
+         ## As if <body>
-             !!!insert-element ('body');
+         !!!insert-element ('body',, $token);
-             $self->{insertion_mode} = IN_BODY_IM;
+         $self->{insertion_mode} = IN_BODY_IM;
-             ## reprocess
+         ## reprocess
+         redo B;
+       } elsif ($token->{type} == START_TAG_TOKEN) {
+         if ($token->{tag_name} eq 'head') {
+           if ($self->{insertion_mode} == BEFORE_HEAD_IM) {
+             !!!cp ('t93');
+             !!!create-element ($self->{head_element}, $token->{tag_name}, $token->{attributes}, $token);
+             $self->{open_elements}->[-1]->[0]->append_child
+                 ($self->{head_element});
+             push @{$self->{open_elements}},
+                 [$self->{head_element}, $el_category->{head}];
+             $self->{insertion_mode} = IN_HEAD_IM;
+             !!!next-token;
              redo B;
-           } elsif ($token->{type} == START_TAG_TOKEN) {
-             if ($token->{tag_name} eq 'head') {
-               if ($self->{insertion_mode} == BEFORE_HEAD_IM) {
-                 !!!create-element ($self->{head_element}, $token->{tag_name}, $token->{attributes});
-                 $self->{open_elements}->[-1]->[0]->append_child ($self->{head_element});
-                 push @{$self->{open_elements}}, [$self->{head_element}, $token->{tag_name}];
-                 $self->{insertion_mode} = IN_HEAD_IM;
-                 !!!next-token;
-                 redo B;
                } elsif ($self->{insertion_mode} == AFTER_HEAD_IM) {
+                 !!!cp ('t94');
                  #
                } else {
-                 !!!parse-error (type => 'in head:head'); # or in head noscript
+                 !!!cp ('t95');
+                 !!!parse-error (type => 'in head:head', token => $token); # or in head noscript
                  ## Ignore the token
                  !!!next-token;
                  redo B;
                }
              } elsif ($self->{insertion_mode} == BEFORE_HEAD_IM) {
+               !!!cp ('t96');
                ## As if <head>
-               !!!create-element ($self->{head_element}, 'head');
+               !!!create-element ($self->{head_element}, 'head',, $token);
                $self->{open_elements}->[-1]->[0]->append_child ($self->{head_element});
-               push @{$self->{open_elements}}, [$self->{head_element}, 'head'];
+               push @{$self->{open_elements}},
+                   [$self->{head_element}, $el_category->{head}];
                $self->{insertion_mode} = IN_HEAD_IM;
                ## Reprocess in the "in head" insertion mode...
+             } else {
+               !!!cp ('t97');
              }
              if ($token->{tag_name} eq 'base') {
                if ($self->{insertion_mode} == IN_HEAD_NOSCRIPT_IM) {
+                 !!!cp ('t98');
                  ## As if </noscript>
                  pop @{$self->{open_elements}};
-                 !!!parse-error (type => 'in noscript:base');
+                 !!!parse-error (type => 'in noscript:base', token => $token);
                  $self->{insertion_mode} = IN_HEAD_IM;
                  ## Reprocess in the "in head" insertion mode...
+               } else {
+                 !!!cp ('t99');
                }
                ## NOTE: There is a "as if in head" code clone.
                if ($self->{insertion_mode} == AFTER_HEAD_IM) {
-                 !!!parse-error (type => 'after head:'.$token->{tag_name});
+                 !!!cp ('t100');
-                 push @{$self->{open_elements}}, [$self->{head_element}, 'head'];
+                 !!!parse-error (type => 'after head:'.$token->{tag_name}, token => $token);
+                 push @{$self->{open_elements}},
+                     [$self->{head_element}, $el_category->{head}];
+               } else {
+                 !!!cp ('t101');
                }
-               !!!insert-element ($token->{tag_name}, $token->{attributes});
+               !!!insert-element ($token->{tag_name}, $token->{attributes}, $token);
                pop @{$self->{open_elements}}; ## ISSUE: This step is missing in the spec.
-               pop @{$self->{open_elements}}
+               pop @{$self->{open_elements}} # <head>
                    if $self->{insertion_mode} == AFTER_HEAD_IM;
                !!!next-token;
                redo B;
              } elsif ($token->{tag_name} eq 'link') {
                ## NOTE: There is a "as if in head" code clone.
                if ($self->{insertion_mode} == AFTER_HEAD_IM) {
-                 !!!parse-error (type => 'after head:'.$token->{tag_name});
+                 !!!cp ('t102');
-                 push @{$self->{open_elements}}, [$self->{head_element}, 'head'];
+                 !!!parse-error (type => 'after head:'.$token->{tag_name}, token => $token);
+                 push @{$self->{open_elements}},
+                     [$self->{head_element}, $el_category->{head}];
+               } else {
+                 !!!cp ('t103');
                }
-               !!!insert-element ($token->{tag_name}, $token->{attributes});
+               !!!insert-element ($token->{tag_name}, $token->{attributes}, $token);
                pop @{$self->{open_elements}}; ## ISSUE: This step is missing in the spec.
-               pop @{$self->{open_elements}}
+               pop @{$self->{open_elements}} # <head>
                    if $self->{insertion_mode} == AFTER_HEAD_IM;
                !!!next-token;
                redo B;
              } elsif ($token->{tag_name} eq 'meta') {
                ## NOTE: There is a "as if in head" code clone.
                if ($self->{insertion_mode} == AFTER_HEAD_IM) {
-                 !!!parse-error (type => 'after head:'.$token->{tag_name});
+                 !!!cp ('t104');
-                 push @{$self->{open_elements}}, [$self->{head_element}, 'head'];
+                 !!!parse-error (type => 'after head:'.$token->{tag_name}, token => $token);
+                 push @{$self->{open_elements}},
+                     [$self->{head_element}, $el_category->{head}];
+               } else {
+                 !!!cp ('t105');
                }
-               !!!insert-element ($token->{tag_name}, $token->{attributes});
+               !!!insert-element ($token->{tag_name}, $token->{attributes}, $token);
                my $meta_el = pop @{$self->{open_elements}}; ## ISSUE: This step is missing in the spec.
                unless ($self->{confident}) {
                  if ($token->{attributes}->{charset}) { ## TODO: And if supported
+                   !!!cp ('t106');
                    $self->{change_encoding}
-                       ->($self, $token->{attributes}->{charset}->{value});
+                       ->($self, $token->{attributes}->{charset}->{value},
+                          $token);
                    $meta_el->[0]->get_attribute_node_ns (undef, 'charset')
                        ->set_user_data (manakai_has_reference =>
-Line 3025 
 sub _tree_construction_main ($) {
+Line 3719 
 sub _tree_construction_main ($) {
                            [\x09-\x0D\x20]*=
                            [\x09-\x0D\x20]*(?>"([^"]*)"|'([^']*)'|
                            ([^"'\x09-\x0D\x20][^\x09-\x0D\x20]*))/x) {
+                     !!!cp ('t107');
                      $self->{change_encoding}
-                         ->($self, defined $1 ? $1 : defined $2 ? $2 : $3);
+                         ->($self, defined $1 ? $1 : defined $2 ? $2 : $3,
+                            $token);
                      $meta_el->[0]->get_attribute_node_ns (undef, 'content')
                          ->set_user_data (manakai_has_reference =>
                                               $token->{attributes}->{content}
                                                     ->{has_reference});
+                   } else {
+                     !!!cp ('t108');
                    }
                  }
                } else {
                  if ($token->{attributes}->{charset}) {
+                   !!!cp ('t109');
                    $meta_el->[0]->get_attribute_node_ns (undef, 'charset')
                        ->set_user_data (manakai_has_reference =>
                                             $token->{attributes}->{charset}
                                                 ->{has_reference});
                  }
                  if ($token->{attributes}->{content}) {
+                   !!!cp ('t110');
                    $meta_el->[0]->get_attribute_node_ns (undef, 'content')
                        ->set_user_data (manakai_has_reference =>
                                             $token->{attributes}->{content}
-Line 3048 
 sub _tree_construction_main ($) {
+Line 3748 
 sub _tree_construction_main ($) {
                  }
                }
-               pop @{$self->{open_elements}}
+               pop @{$self->{open_elements}} # <head>
                    if $self->{insertion_mode} == AFTER_HEAD_IM;
                !!!next-token;
                redo B;
              } elsif ($token->{tag_name} eq 'title') {
                if ($self->{insertion_mode} == IN_HEAD_NOSCRIPT_IM) {
+                 !!!cp ('t111');
                  ## As if </noscript>
                  pop @{$self->{open_elements}};
-                 !!!parse-error (type => 'in noscript:title');
+                 !!!parse-error (type => 'in noscript:title', token => $token);
                  $self->{insertion_mode} = IN_HEAD_IM;
                  ## Reprocess in the "in head" insertion mode...
                } elsif ($self->{insertion_mode} == AFTER_HEAD_IM) {
-                 !!!parse-error (type => 'after head:'.$token->{tag_name});
+                 !!!cp ('t112');
-                 push @{$self->{open_elements}}, [$self->{head_element}, 'head'];
+                 !!!parse-error (type => 'after head:'.$token->{tag_name}, token => $token);
+                 push @{$self->{open_elements}},
+                     [$self->{head_element}, $el_category->{head}];
+               } else {
+                 !!!cp ('t113');
                }
                ## NOTE: There is a "as if in head" code clone.
                my $parent = defined $self->{head_element} ? $self->{head_element}
                    : $self->{open_elements}->[-1]->[0];
-               $parse_rcdata->(RCDATA_CONTENT_MODEL,
+               $parse_rcdata->(RCDATA_CONTENT_MODEL);
-                               sub { $parent->append_child ($_[0]) });
+               pop @{$self->{open_elements}} # <head>
-               pop @{$self->{open_elements}}
                    if $self->{insertion_mode} == AFTER_HEAD_IM;
                redo B;
              } elsif ($token->{tag_name} eq 'style') {
-Line 3078 
 sub _tree_construction_main ($) {
+Line 3782 
 sub _tree_construction_main ($) {
                ## insertion mode IN_HEAD_IM)
                ## NOTE: There is a "as if in head" code clone.
                if ($self->{insertion_mode} == AFTER_HEAD_IM) {
-                 !!!parse-error (type => 'after head:'.$token->{tag_name});
+                 !!!cp ('t114');
-                 push @{$self->{open_elements}}, [$self->{head_element}, 'head'];
+                 !!!parse-error (type => 'after head:'.$token->{tag_name}, token => $token);
+                 push @{$self->{open_elements}},
+                     [$self->{head_element}, $el_category->{head}];
+               } else {
+                 !!!cp ('t115');
                }
-               $parse_rcdata->(CDATA_CONTENT_MODEL, $insert_to_current);
+               $parse_rcdata->(CDATA_CONTENT_MODEL);
-               pop @{$self->{open_elements}}
+               pop @{$self->{open_elements}} # <head>
                    if $self->{insertion_mode} == AFTER_HEAD_IM;
                redo B;
              } elsif ($token->{tag_name} eq 'noscript') {
                if ($self->{insertion_mode} == IN_HEAD_IM) {
+                 !!!cp ('t116');
                  ## NOTE: and scripting is disalbed
-                 !!!insert-element ($token->{tag_name}, $token->{attributes});
+                 !!!insert-element ($token->{tag_name}, $token->{attributes}, $token);
                  $self->{insertion_mode} = IN_HEAD_NOSCRIPT_IM;
                  !!!next-token;
                  redo B;
                } elsif ($self->{insertion_mode} == IN_HEAD_NOSCRIPT_IM) {
-                 !!!parse-error (type => 'in noscript:noscript');
+                 !!!cp ('t117');
+                 !!!parse-error (type => 'in noscript:noscript', token => $token);
                  ## Ignore the token
                  !!!next-token;
                  redo B;
                } else {
+                 !!!cp ('t118');
                  #
                }
              } elsif ($token->{tag_name} eq 'script') {
                if ($self->{insertion_mode} == IN_HEAD_NOSCRIPT_IM) {
+                 !!!cp ('t119');
                  ## As if </noscript>
                  pop @{$self->{open_elements}};
-                 !!!parse-error (type => 'in noscript:script');
+                 !!!parse-error (type => 'in noscript:script', token => $token);
                  $self->{insertion_mode} = IN_HEAD_IM;
                  ## Reprocess in the "in head" insertion mode...
                } elsif ($self->{insertion_mode} == AFTER_HEAD_IM) {
-                 !!!parse-error (type => 'after head:'.$token->{tag_name});
+                 !!!cp ('t120');
-                 push @{$self->{open_elements}}, [$self->{head_element}, 'head'];
+                 !!!parse-error (type => 'after head:'.$token->{tag_name}, token => $token);
+                 push @{$self->{open_elements}},
+                     [$self->{head_element}, $el_category->{head}];
+               } else {
+                 !!!cp ('t121');
                }
                ## NOTE: There is a "as if in head" code clone.
-               $script_start_tag->($insert_to_current);
+               $script_start_tag->();
-               pop @{$self->{open_elements}}
+               pop @{$self->{open_elements}} # <head>
                    if $self->{insertion_mode} == AFTER_HEAD_IM;
                redo B;
              } elsif ($token->{tag_name} eq 'body' or
                       $token->{tag_name} eq 'frameset') {
                if ($self->{insertion_mode} == IN_HEAD_NOSCRIPT_IM) {
+                 !!!cp ('t122');
                  ## As if </noscript>
                  pop @{$self->{open_elements}};
-                 !!!parse-error (type => 'in noscript:'.$token->{tag_name});
+                 !!!parse-error (type => 'in noscript:'.$token->{tag_name}, token => $token);
                  ## Reprocess in the "in head" insertion mode...
                  ## As if </head>
-Line 3131 
 sub _tree_construction_main ($) {
+Line 3848 
 sub _tree_construction_main ($) {
                  ## Reprocess in the "after head" insertion mode...
                } elsif ($self->{insertion_mode} == IN_HEAD_IM) {
+                 !!!cp ('t124');
                  pop @{$self->{open_elements}};
                  ## Reprocess in the "after head" insertion mode...
+               } else {
+                 !!!cp ('t125');
                }
                ## "after head" insertion mode
-               !!!insert-element ($token->{tag_name}, $token->{attributes});
+               !!!insert-element ($token->{tag_name}, $token->{attributes}, $token);
                if ($token->{tag_name} eq 'body') {
+                 !!!cp ('t126');
                  $self->{insertion_mode} = IN_BODY_IM;
                } elsif ($token->{tag_name} eq 'frameset') {
+                 !!!cp ('t127');
                  $self->{insertion_mode} = IN_FRAMESET_IM;
                } else {
                  die "$0: tag name: $self->{tag_name}";
-Line 3148 
 sub _tree_construction_main ($) {
+Line 3870 
 sub _tree_construction_main ($) {
                !!!next-token;
                redo B;
              } else {
+               !!!cp ('t128');
                #
              }
              if ($self->{insertion_mode} == IN_HEAD_NOSCRIPT_IM) {
+               !!!cp ('t129');
                ## As if </noscript>
                pop @{$self->{open_elements}};
-               !!!parse-error (type => 'in noscript:/'.$token->{tag_name});
+               !!!parse-error (type => 'in noscript:/'.$token->{tag_name}, token => $token);
                ## Reprocess in the "in head" insertion mode...
                ## As if </head>
-Line 3162 
 sub _tree_construction_main ($) {
+Line 3886 
 sub _tree_construction_main ($) {
                ## Reprocess in the "after head" insertion mode...
              } elsif ($self->{insertion_mode} == IN_HEAD_IM) {
+               !!!cp ('t130');
                ## As if </head>
                pop @{$self->{open_elements}};
                ## Reprocess in the "after head" insertion mode...
+             } else {
+               !!!cp ('t131');
              }
              ## "after head" insertion mode
              ## As if <body>
-             !!!insert-element ('body');
+             !!!insert-element ('body',, $token);
              $self->{insertion_mode} = IN_BODY_IM;
              ## reprocess
              redo B;
            } elsif ($token->{type} == END_TAG_TOKEN) {
              if ($token->{tag_name} eq 'head') {
                if ($self->{insertion_mode} == BEFORE_HEAD_IM) {
+                 !!!cp ('t132');
                  ## As if <head>
-                 !!!create-element ($self->{head_element}, 'head');
+                 !!!create-element ($self->{head_element}, 'head',, $token);
                  $self->{open_elements}->[-1]->[0]->append_child ($self->{head_element});
-                 push @{$self->{open_elements}}, [$self->{head_element}, 'head'];
+                 push @{$self->{open_elements}},
+                     [$self->{head_element}, $el_category->{head}];
                  ## Reprocess in the "in head" insertion mode...
                  pop @{$self->{open_elements}};
-Line 3188 
 sub _tree_construction_main ($) {
+Line 3917 
 sub _tree_construction_main ($) {
                  !!!next-token;
                  redo B;
                } elsif ($self->{insertion_mode} == IN_HEAD_NOSCRIPT_IM) {
+                 !!!cp ('t133');
                  ## As if </noscript>
                  pop @{$self->{open_elements}};
-                 !!!parse-error (type => 'in noscript:script');
+                 !!!parse-error (type => 'in noscript:/head', token => $token);
                  ## Reprocess in the "in head" insertion mode...
                  pop @{$self->{open_elements}};
-Line 3198 
 sub _tree_construction_main ($) {
+Line 3928 
 sub _tree_construction_main ($) {
                  !!!next-token;
                  redo B;
                } elsif ($self->{insertion_mode} == IN_HEAD_IM) {
+                 !!!cp ('t134');
                  pop @{$self->{open_elements}};
                  $self->{insertion_mode} = AFTER_HEAD_IM;
                  !!!next-token;
                  redo B;
                } else {
+                 !!!cp ('t135');
                  #
                }
              } elsif ($token->{tag_name} eq 'noscript') {
                if ($self->{insertion_mode} == IN_HEAD_NOSCRIPT_IM) {
+                 !!!cp ('t136');
                  pop @{$self->{open_elements}};
                  $self->{insertion_mode} = IN_HEAD_IM;
                  !!!next-token;
                  redo B;
                } elsif ($self->{insertion_mode} == BEFORE_HEAD_IM) {
-                 !!!parse-error (type => 'unmatched end tag:noscript');
+                 !!!cp ('t137');
+                 !!!parse-error (type => 'unmatched end tag:noscript', token => $token);
                  ## Ignore the token ## ISSUE: An issue in the spec.
                  !!!next-token;
                  redo B;
                } else {
+                 !!!cp ('t138');
                  #
                }
              } elsif ({
                        body => 1, html => 1,
                       }->{$token->{tag_name}}) {
                if ($self->{insertion_mode} == BEFORE_HEAD_IM) {
+                 !!!cp ('t139');
                  ## As if <head>
-                 !!!create-element ($self->{head_element}, 'head');
+                 !!!create-element ($self->{head_element}, 'head',, $token);
                  $self->{open_elements}->[-1]->[0]->append_child ($self->{head_element});
-                 push @{$self->{open_elements}}, [$self->{head_element}, 'head'];
+                 push @{$self->{open_elements}},
+                     [$self->{head_element}, $el_category->{head}];
                  $self->{insertion_mode} = IN_HEAD_IM;
                  ## Reprocess in the "in head" insertion mode...
                } elsif ($self->{insertion_mode} == IN_HEAD_NOSCRIPT_IM) {
-                 !!!parse-error (type => 'unmatched end tag:'.$token->{tag_name});
+                 !!!cp ('t140');
+                 !!!parse-error (type => 'unmatched end tag:'.$token->{tag_name}, token => $token);
                  ## Ignore the token
                  !!!next-token;
                  redo B;
+               } else {
+                 !!!cp ('t141');
                }
                #
-Line 3242 
 sub _tree_construction_main ($) {
+Line 3982 
 sub _tree_construction_main ($) {
                        p => 1, br => 1,
                       }->{$token->{tag_name}}) {
                if ($self->{insertion_mode} == BEFORE_HEAD_IM) {
+                 !!!cp ('t142');
                  ## As if <head>
-                 !!!create-element ($self->{head_element}, 'head');
+                 !!!create-element ($self->{head_element}, 'head',, $token);
                  $self->{open_elements}->[-1]->[0]->append_child ($self->{head_element});
-                 push @{$self->{open_elements}}, [$self->{head_element}, 'head'];
+                 push @{$self->{open_elements}},
+                     [$self->{head_element}, $el_category->{head}];
                  $self->{insertion_mode} = IN_HEAD_IM;
                  ## Reprocess in the "in head" insertion mode...
+               } else {
+                 !!!cp ('t143');
                }
                #
              } else {
                if ($self->{insertion_mode} == AFTER_HEAD_IM) {
+                 !!!cp ('t144');
                  #
                } else {
-                 !!!parse-error (type => 'unmatched end tag:'.$token->{tag_name});
+                 !!!cp ('t145');
+                 !!!parse-error (type => 'unmatched end tag:'.$token->{tag_name}, token => $token);
                  ## Ignore the token
                  !!!next-token;
                  redo B;
-Line 3264 
 sub _tree_construction_main ($) {
+Line 4010 
 sub _tree_construction_main ($) {
              }
              if ($self->{insertion_mode} == IN_HEAD_NOSCRIPT_IM) {
+               !!!cp ('t146');
                ## As if </noscript>
                pop @{$self->{open_elements}};
-               !!!parse-error (type => 'in noscript:/'.$token->{tag_name});
+               !!!parse-error (type => 'in noscript:/'.$token->{tag_name}, token => $token);
                ## Reprocess in the "in head" insertion mode...
                ## As if </head>
-Line 3274 
 sub _tree_construction_main ($) {
+Line 4021 
 sub _tree_construction_main ($) {
                ## Reprocess in the "after head" insertion mode...
              } elsif ($self->{insertion_mode} == IN_HEAD_IM) {
+               !!!cp ('t147');
                ## As if </head>
                pop @{$self->{open_elements}};
                ## Reprocess in the "after head" insertion mode...
              } elsif ($self->{insertion_mode} == BEFORE_HEAD_IM) {
-               !!!parse-error (type => 'unmatched end tag:'.$token->{tag_name});
+ ## ISSUE: This case cannot be reached?
+               !!!cp ('t148');
+               !!!parse-error (type => 'unmatched end tag:'.$token->{tag_name}, token => $token);
                ## Ignore the token ## ISSUE: An issue in the spec.
                !!!next-token;
                redo B;
+             } else {
+               !!!cp ('t149');
              }
              ## "after head" insertion mode
              ## As if <body>
-             !!!insert-element ('body');
+             !!!insert-element ('body',, $token);
              $self->{insertion_mode} = IN_BODY_IM;
              ## reprocess
              redo B;
-           } else {
+       } elsif ($token->{type} == END_OF_FILE_TOKEN) {
-             die "$0: $token->{type}: Unknown token type";
+         if ($self->{insertion_mode} == BEFORE_HEAD_IM) {
-           }
+           !!!cp ('t149.1');
+           ## NOTE: As if <head>
+           !!!create-element ($self->{head_element}, 'head',, $token);
+           $self->{open_elements}->[-1]->[0]->append_child
+               ($self->{head_element});
+           #push @{$self->{open_elements}},
+           #    [$self->{head_element}, $el_category->{head}];
+           #$self->{insertion_mode} = IN_HEAD_IM;
+           ## NOTE: Reprocess.
+           ## NOTE: As if </head>
+           #pop @{$self->{open_elements}};
+           #$self->{insertion_mode} = IN_AFTER_HEAD_IM;
+           ## NOTE: Reprocess.
+           #
+         } elsif ($self->{insertion_mode} == IN_HEAD_IM) {
+           !!!cp ('t149.2');
+           ## NOTE: As if </head>
+           pop @{$self->{open_elements}};
+           #$self->{insertion_mode} = IN_AFTER_HEAD_IM;
+           ## NOTE: Reprocess.
+           #
+         } elsif ($self->{insertion_mode} == IN_HEAD_NOSCRIPT_IM) {
+           !!!cp ('t149.3');
+           !!!parse-error (type => 'in noscript:#eof', token => $token);
+           ## As if </noscript>
+           pop @{$self->{open_elements}};
+           #$self->{insertion_mode} = IN_HEAD_IM;
+           ## NOTE: Reprocess.
+           ## NOTE: As if </head>
+           pop @{$self->{open_elements}};
+           #$self->{insertion_mode} = IN_AFTER_HEAD_IM;
+           ## NOTE: Reprocess.
+           #
+         } else {
+           !!!cp ('t149.4');
+           #
+         }
+         ## NOTE: As if <body>
+         !!!insert-element ('body',, $token);
+         $self->{insertion_mode} = IN_BODY_IM;
+         ## NOTE: Reprocess.
+         redo B;
+       } else {
+         die "$0: $token->{type}: Unknown token type";
+       }
            ## ISSUE: An issue in the spec.
      } elsif ($self->{insertion_mode} & BODY_IMS) {
            if ($token->{type} == CHARACTER_TOKEN) {
+             !!!cp ('t150');
              ## NOTE: There is a code clone of "character in body".
              $reconstruct_active_formatting_elements->($insert_to_current);
-Line 3312 
 sub _tree_construction_main ($) {
+Line 4119 
 sub _tree_construction_main ($) {
                  }->{$token->{tag_name}}) {
                if ($self->{insertion_mode} == IN_CELL_IM) {
                  ## have an element in table scope
-                 my $tn;
+                 for (reverse 0..$#{$self->{open_elements}}) {
-                 INSCOPE: for (reverse 0..$#{$self->{open_elements}}) {
                    my $node = $self->{open_elements}->[$_];
-                   if ($node->[1] eq 'td' or $node->[1] eq 'th') {
+                   if ($node->[1] & TABLE_CELL_EL) {
-                     $tn = $node->[1];
+                     !!!cp ('t151');
-                     last INSCOPE;
-                   } elsif ({
+                     ## Close the cell
-                             table => 1, html => 1,
+                     !!!back-token; # <?>
-                            }->{$node->[1]}) {
+                     $token = {type => END_TAG_TOKEN,
-                     last INSCOPE;
+                               tag_name => $node->[0]->manakai_local_name,
-                   }
+                               line => $token->{line},
-                 } # INSCOPE
+                               column => $token->{column}};
-                   unless (defined $tn) {
-                     !!!parse-error (type => 'unmatched end tag:'.$token->{tag_name});
-                     ## Ignore the token
-                     !!!next-token;
                      redo B;
+                   } elsif ($node->[1] & TABLE_SCOPING_EL) {
+                     !!!cp ('t152');
+                     ## ISSUE: This case can never be reached, maybe.
+                     last;
                    }
+                 }
-                 ## Close the cell
-                 !!!back-token; # <?>
+                 !!!cp ('t153');
-                 $token = {type => END_TAG_TOKEN, tag_name => $tn};
+                 !!!parse-error (type => 'start tag not allowed',
+                     value => $token->{tag_name}, token => $token);
+                 ## Ignore the token
+                 !!!next-token;
                  redo B;
                } elsif ($self->{insertion_mode} == IN_CAPTION_IM) {
-                 !!!parse-error (type => 'not closed:caption');
+                 !!!parse-error (type => 'not closed:caption', token => $token);
-                 ## As if </caption>
+                 ## NOTE: As if </caption>.
                  ## have a table element in table scope
                  my $i;
-                 INSCOPE: for (reverse 0..$#{$self->{open_elements}}) {
+                 INSCOPE: {
-                   my $node = $self->{open_elements}->[$_];
+                   for (reverse 0..$#{$self->{open_elements}}) {
-                   if ($node->[1] eq 'caption') {
+                     my $node = $self->{open_elements}->[$_];
-                     $i = $_;
+                     if ($node->[1] & CAPTION_EL) {
-                     last INSCOPE;
+                       !!!cp ('t155');
-                   } elsif ({
+                       $i = $_;
-                             table => 1, html => 1,
+                       last INSCOPE;
-                            }->{$node->[1]}) {
+                     } elsif ($node->[1] & TABLE_SCOPING_EL) {
-                     last INSCOPE;
+                       !!!cp ('t156');
+                       last;
+                     }
                    }
+                   !!!cp ('t157');
+                   !!!parse-error (type => 'start tag not allowed',
+                                   value => $token->{tag_name}, token => $token);
+                   ## Ignore the token
+                   !!!next-token;
+                   redo B;
                  } # INSCOPE
-                   unless (defined $i) {
-                     !!!parse-error (type => 'unmatched end tag:caption');
-                     ## Ignore the token
-                     !!!next-token;
-                     redo B;
-                   }
                  ## generate implied end tags
-                 if ({
+                 while ($self->{open_elements}->[-1]->[1]
-                      dd => 1, dt => 1, li => 1, p => 1,
+                            & END_TAG_OPTIONAL_EL) {
-                      td => 1, th => 1, tr => 1,
+                   !!!cp ('t158');
-                      tbody => 1, tfoot=> 1, thead => 1,
+                   pop @{$self->{open_elements}};
-                     }->{$self->{open_elements}->[-1]->[1]}) {
-                   !!!back-token; # <?>
-                   $token = {type => END_TAG_TOKEN, tag_name => 'caption'};
-                   !!!back-token;
-                   $token = {type => END_TAG_TOKEN,
-                             tag_name => $self->{open_elements}->[-1]->[1]}; # MUST
-                   redo B;
                  }
-                 if ($self->{open_elements}->[-1]->[1] ne 'caption') {
+                 unless ($self->{open_elements}->[-1]->[1] & CAPTION_EL) {
-                   !!!parse-error (type => 'not closed:'.$self->{open_elements}->[-1]->[1]);
+                   !!!cp ('t159');
+                   !!!parse-error (type => 'not closed',
+                                   value => $self->{open_elements}->[-1]->[0]
+                                       ->manakai_local_name,
+                                   token => $token);
+                 } else {
+                   !!!cp ('t160');
                  }
                  splice @{$self->{open_elements}}, $i;
-Line 3386 
 sub _tree_construction_main ($) {
+Line 4197 
 sub _tree_construction_main ($) {
                  ## reprocess
                  redo B;
                } else {
+                 !!!cp ('t161');
                  #
                }
              } else {
+               !!!cp ('t162');
                #
              }
            } elsif ($token->{type} == END_TAG_TOKEN) {
-Line 3398 
 sub _tree_construction_main ($) {
+Line 4211 
 sub _tree_construction_main ($) {
                  my $i;
                  INSCOPE: for (reverse 0..$#{$self->{open_elements}}) {
                    my $node = $self->{open_elements}->[$_];
-                   if ($node->[1] eq $token->{tag_name}) {
+                   if ($node->[0]->manakai_local_name eq $token->{tag_name}) {
+                     !!!cp ('t163');
                      $i = $_;
                      last INSCOPE;
-                   } elsif ({
+                   } elsif ($node->[1] & TABLE_SCOPING_EL) {
-                             table => 1, html => 1,
+                     !!!cp ('t164');
-                            }->{$node->[1]}) {
                      last INSCOPE;
                    }
                  } # INSCOPE
                    unless (defined $i) {
-                     !!!parse-error (type => 'unmatched end tag:'.$token->{tag_name});
+                     !!!cp ('t165');
+                     !!!parse-error (type => 'unmatched end tag:'.$token->{tag_name}, token => $token);
                      ## Ignore the token
                      !!!next-token;
                      redo B;
                    }
                  ## generate implied end tags
-                 if ({
+                 while ($self->{open_elements}->[-1]->[1]
-                      dd => 1, dt => 1, li => 1, p => 1,
+                            & END_TAG_OPTIONAL_EL) {
-                      td => ($token->{tag_name} eq 'th'),
+                   !!!cp ('t166');
-                      th => ($token->{tag_name} eq 'td'),
+                   pop @{$self->{open_elements}};
-                      tr => 1,
-                      tbody => 1, tfoot=> 1, thead => 1,
-                     }->{$self->{open_elements}->[-1]->[1]}) {
-                   !!!back-token;
-                   $token = {type => END_TAG_TOKEN,
-                             tag_name => $self->{open_elements}->[-1]->[1]}; # MUST
-                   redo B;
                  }
-                 if ($self->{open_elements}->[-1]->[1] ne $token->{tag_name}) {
+                 if ($self->{open_elements}->[-1]->[0]->manakai_local_name
-                   !!!parse-error (type => 'not closed:'.$self->{open_elements}->[-1]->[1]);
+                         ne $token->{tag_name}) {
+                   !!!cp ('t167');
+                   !!!parse-error (type => 'not closed',
+                                   value => $self->{open_elements}->[-1]->[0]
+                                       ->manakai_local_name,
+                                   token => $token);
+                 } else {
+                   !!!cp ('t168');
                  }
                  splice @{$self->{open_elements}}, $i;
-Line 3441 
 sub _tree_construction_main ($) {
+Line 4255 
 sub _tree_construction_main ($) {
                  !!!next-token;
                  redo B;
                } elsif ($self->{insertion_mode} == IN_CAPTION_IM) {
-                 !!!parse-error (type => 'unmatched end tag:'.$token->{tag_name});
+                 !!!cp ('t169');
+                 !!!parse-error (type => 'unmatched end tag:'.$token->{tag_name}, token => $token);
                  ## Ignore the token
                  !!!next-token;
                  redo B;
                } else {
+                 !!!cp ('t170');
                  #
                }
              } elsif ($token->{tag_name} eq 'caption') {
                if ($self->{insertion_mode} == IN_CAPTION_IM) {
                  ## have a table element in table scope
                  my $i;
-                 INSCOPE: for (reverse 0..$#{$self->{open_elements}}) {
+                 INSCOPE: {
-                   my $node = $self->{open_elements}->[$_];
+                   for (reverse 0..$#{$self->{open_elements}}) {
-                   if ($node->[1] eq $token->{tag_name}) {
+                     my $node = $self->{open_elements}->[$_];
-                     $i = $_;
+                     if ($node->[1] & CAPTION_EL) {
-                     last INSCOPE;
+                       !!!cp ('t171');
-                   } elsif ({
+                       $i = $_;
-                             table => 1, html => 1,
+                       last INSCOPE;
-                            }->{$node->[1]}) {
+                     } elsif ($node->[1] & TABLE_SCOPING_EL) {
-                     last INSCOPE;
+                       !!!cp ('t172');
+                       last;
+                     }
                    }
+                   !!!cp ('t173');
+                   !!!parse-error (type => 'unmatched end tag',
+                                   value => $token->{tag_name}, token => $token);
+                   ## Ignore the token
+                   !!!next-token;
+                   redo B;
                  } # INSCOPE
-                   unless (defined $i) {
-                     !!!parse-error (type => 'unmatched end tag:'.$token->{tag_name});
-                     ## Ignore the token
-                     !!!next-token;
-                     redo B;
-                   }
                  ## generate implied end tags
-                 if ({
+                 while ($self->{open_elements}->[-1]->[1]
-                      dd => 1, dt => 1, li => 1, p => 1,
+                            & END_TAG_OPTIONAL_EL) {
-                      td => 1, th => 1, tr => 1,
+                   !!!cp ('t174');
-                      tbody => 1, tfoot=> 1, thead => 1,
+                   pop @{$self->{open_elements}};
-                     }->{$self->{open_elements}->[-1]->[1]}) {
-                   !!!back-token;
-                   $token = {type => END_TAG_TOKEN,
-                             tag_name => $self->{open_elements}->[-1]->[1]}; # MUST
-                   redo B;
                  }
-                 if ($self->{open_elements}->[-1]->[1] ne 'caption') {
+                 unless ($self->{open_elements}->[-1]->[1] & CAPTION_EL) {
-                   !!!parse-error (type => 'not closed:'.$self->{open_elements}->[-1]->[1]);
+                   !!!cp ('t175');
+                   !!!parse-error (type => 'not closed',
+                                   value => $self->{open_elements}->[-1]->[0]
+                                       ->manakai_local_name,
+                                   token => $token);
+                 } else {
+                   !!!cp ('t176');
                  }
                  splice @{$self->{open_elements}}, $i;
-Line 3495 
 sub _tree_construction_main ($) {
+Line 4315 
 sub _tree_construction_main ($) {
                  !!!next-token;
                  redo B;
                } elsif ($self->{insertion_mode} == IN_CELL_IM) {
-                 !!!parse-error (type => 'unmatched end tag:'.$token->{tag_name});
+                 !!!cp ('t177');
+                 !!!parse-error (type => 'unmatched end tag:'.$token->{tag_name}, token => $token);
                  ## Ignore the token
                  !!!next-token;
                  redo B;
                } else {
+                 !!!cp ('t178');
                  #
                }
              } elsif ({
-Line 3510 
 sub _tree_construction_main ($) {
+Line 4332 
 sub _tree_construction_main ($) {
                ## have an element in table scope
                my $i;
                my $tn;
-               INSCOPE: for (reverse 0..$#{$self->{open_elements}}) {
+               INSCOPE: {
-                 my $node = $self->{open_elements}->[$_];
+                 for (reverse 0..$#{$self->{open_elements}}) {
-                 if ($node->[1] eq $token->{tag_name}) {
+                   my $node = $self->{open_elements}->[$_];
-                   $i = $_;
+                   if ($node->[0]->manakai_local_name eq $token->{tag_name}) {
-                   last INSCOPE;
+                     !!!cp ('t179');
-                 } elsif ($node->[1] eq 'td' or $node->[1] eq 'th') {
+                     $i = $_;
-                   $tn = $node->[1];
-                   ## NOTE: There is exactly one |td| or |th| element
+                     ## Close the cell
-                   ## in scope in the stack of open elements by definition.
+                     !!!back-token; # </?>
-                 } elsif ({
+                     $token = {type => END_TAG_TOKEN, tag_name => $tn,
-                           table => 1, html => 1,
+                               line => $token->{line},
-                          }->{$node->[1]}) {
+                               column => $token->{column}};
-                   last INSCOPE;
+                     redo B;
+                   } elsif ($node->[1] & TABLE_CELL_EL) {
+                     !!!cp ('t180');
+                     $tn = $node->[0]->manakai_local_name;
+                     ## NOTE: There is exactly one |td| or |th| element
+                     ## in scope in the stack of open elements by definition.
+                   } elsif ($node->[1] & TABLE_SCOPING_EL) {
+                     ## ISSUE: Can this be reached?
+                     !!!cp ('t181');
+                     last;
+                   }
                  }
-               } # INSCOPE
-               unless (defined $i) {
+                 !!!cp ('t182');
-                 !!!parse-error (type => 'unmatched end tag:'.$token->{tag_name});
+                 !!!parse-error (type => 'unmatched end tag',
+                     value => $token->{tag_name}, token => $token);
                  ## Ignore the token
                  !!!next-token;
                  redo B;
-               }
+               } # INSCOPE
-               ## Close the cell
-               !!!back-token; # </?>
-               $token = {type => END_TAG_TOKEN, tag_name => $tn};
-               redo B;
              } elsif ($token->{tag_name} eq 'table' and
                       $self->{insertion_mode} == IN_CAPTION_IM) {
-               !!!parse-error (type => 'not closed:caption');
+               !!!parse-error (type => 'not closed:caption', token => $token);
                ## As if </caption>
                ## have a table element in table scope
                my $i;
                INSCOPE: for (reverse 0..$#{$self->{open_elements}}) {
                  my $node = $self->{open_elements}->[$_];
-                 if ($node->[1] eq 'caption') {
+                 if ($node->[1] & CAPTION_EL) {
+                   !!!cp ('t184');
                    $i = $_;
                    last INSCOPE;
-                 } elsif ({
+                 } elsif ($node->[1] & TABLE_SCOPING_EL) {
-                           table => 1, html => 1,
+                   !!!cp ('t185');
-                          }->{$node->[1]}) {
                    last INSCOPE;
                  }
                } # INSCOPE
                unless (defined $i) {
-                 !!!parse-error (type => 'unmatched end tag:caption');
+                 !!!cp ('t186');
+                 !!!parse-error (type => 'unmatched end tag:caption', token => $token);
                  ## Ignore the token
                  !!!next-token;
                  redo B;
                }
                ## generate implied end tags
-               if ({
+               while ($self->{open_elements}->[-1]->[1] & END_TAG_OPTIONAL_EL) {
-                    dd => 1, dt => 1, li => 1, p => 1,
+                 !!!cp ('t187');
-                    td => 1, th => 1, tr => 1,
+                 pop @{$self->{open_elements}};
-                    tbody => 1, tfoot=> 1, thead => 1,
-                   }->{$self->{open_elements}->[-1]->[1]}) {
-                 !!!back-token; # </table>
-                 $token = {type => END_TAG_TOKEN, tag_name => 'caption'};
-                 !!!back-token;
-                 $token = {type => END_TAG_TOKEN,
-                           tag_name => $self->{open_elements}->[-1]->[1]}; # MUST
-                 redo B;
                }
-               if ($self->{open_elements}->[-1]->[1] ne 'caption') {
+               unless ($self->{open_elements}->[-1]->[1] & CAPTION_EL) {
-                 !!!parse-error (type => 'not closed:'.$self->{open_elements}->[-1]->[1]);
+                 !!!cp ('t188');
+                 !!!parse-error (type => 'not closed',
+                                 value => $self->{open_elements}->[-1]->[0]
+                                     ->manakai_local_name,
+                                 token => $token);
+               } else {
+                 !!!cp ('t189');
                }
                splice @{$self->{open_elements}}, $i;
-Line 3591 
 sub _tree_construction_main ($) {
+Line 4418 
 sub _tree_construction_main ($) {
                        body => 1, col => 1, colgroup => 1, html => 1,
                       }->{$token->{tag_name}}) {
                if ($self->{insertion_mode} & BODY_TABLE_IMS) {
-                 !!!parse-error (type => 'unmatched end tag:'.$token->{tag_name});
+                 !!!cp ('t190');
+                 !!!parse-error (type => 'unmatched end tag:'.$token->{tag_name}, token => $token);
                  ## Ignore the token
                  !!!next-token;
                  redo B;
                } else {
+                 !!!cp ('t191');
                  #
                }
              } elsif ({
-Line 3603 
 sub _tree_construction_main ($) {
+Line 4432 
 sub _tree_construction_main ($) {
                        thead => 1, tr => 1,
                       }->{$token->{tag_name}} and
                       $self->{insertion_mode} == IN_CAPTION_IM) {
-               !!!parse-error (type => 'unmatched end tag:'.$token->{tag_name});
+               !!!cp ('t192');
+               !!!parse-error (type => 'unmatched end tag:'.$token->{tag_name}, token => $token);
                ## Ignore the token
                !!!next-token;
                redo B;
              } else {
+               !!!cp ('t193');
                #
              }
+       } elsif ($token->{type} == END_OF_FILE_TOKEN) {
+         for my $entry (@{$self->{open_elements}}) {
+           unless ($entry->[1] & ALL_END_TAG_OPTIONAL_EL) {
+             !!!cp ('t75');
+             !!!parse-error (type => 'in body:#eof', token => $token);
+             last;
+           }
+         }
+         ## Stop parsing.
+         last B;
        } else {
          die "$0: $token->{type}: Unknown token type";
        }
-Line 3618 
 sub _tree_construction_main ($) {
+Line 4460 
 sub _tree_construction_main ($) {
        #
      } elsif ($self->{insertion_mode} & TABLE_IMS) {
        if ($token->{type} == CHARACTER_TOKEN) {
-             if ($token->{data} =~ s/^([\x09\x0A\x0B\x0C\x20]+)//) {
+         if (not $open_tables->[-1]->[1] and # tainted
-               $self->{open_elements}->[-1]->[0]->manakai_append_text ($1);
+             $token->{data} =~ s/^([\x09\x0A\x0B\x0C\x20]+)//) {
+           $self->{open_elements}->[-1]->[0]->manakai_append_text ($1);
-               unless (length $token->{data}) {
+           unless (length $token->{data}) {
-                 !!!next-token;
+             !!!cp ('t194');
-                 redo B;
+             !!!next-token;
-               }
+             redo B;
-             }
+           } else {
+             !!!cp ('t195');
+           }
+         }
-             !!!parse-error (type => 'in table:#character');
+             !!!parse-error (type => 'in table:#character', token => $token);
              ## As if in body, but insert into foster parent element
              ## ISSUE: Spec says that "whenever a node would be inserted
-Line 3635 
 sub _tree_construction_main ($) {
+Line 4481 
 sub _tree_construction_main ($) {
              ## result in a new Text node.
              $reconstruct_active_formatting_elements->($insert_to_foster);
-             if ({
+             if ($self->{open_elements}->[-1]->[1] & TABLE_ROWS_EL) {
-                  table => 1, tbody => 1, tfoot => 1,
-                  thead => 1, tr => 1,
-                 }->{$self->{open_elements}->[-1]->[1]}) {
                # MUST
                my $foster_parent_element;
                my $next_sibling;
                my $prev_sibling;
                OE: for (reverse 0..$#{$self->{open_elements}}) {
-                 if ($self->{open_elements}->[$_]->[1] eq 'table') {
+                 if ($self->{open_elements}->[$_]->[1] & TABLE_EL) {
                    my $parent = $self->{open_elements}->[$_]->[0]->parent_node;
                    if (defined $parent and $parent->node_type == 1) {
+                     !!!cp ('t196');
                      $foster_parent_element = $parent;
                      $next_sibling = $self->{open_elements}->[$_]->[0];
                      $prev_sibling = $next_sibling->previous_sibling;
                    } else {
+                     !!!cp ('t197');
                      $foster_parent_element = $self->{open_elements}->[$_ - 1]->[0];
                      $prev_sibling = $foster_parent_element->last_child;
                    }
-Line 3662 
 sub _tree_construction_main ($) {
+Line 4507 
 sub _tree_construction_main ($) {
                  unless defined $foster_parent_element;
                if (defined $prev_sibling and
                    $prev_sibling->node_type == 3) {
+                 !!!cp ('t198');
                  $prev_sibling->manakai_append_text ($token->{data});
                } else {
+                 !!!cp ('t199');
                  $foster_parent_element->insert_before
                    ($self->{document}->create_text_node ($token->{data}),
                     $next_sibling);
                }
-             } else {
+           $open_tables->[-1]->[1] = 1; # tainted
-               $self->{open_elements}->[-1]->[0]->manakai_append_text ($token->{data});
+         } else {
-             }
+           !!!cp ('t200');
+           $self->{open_elements}->[-1]->[0]->manakai_append_text ($token->{data});
+         }
-             !!!next-token;
+         !!!next-token;
-             redo B;
+         redo B;
        } elsif ($token->{type} == START_TAG_TOKEN) {
              if ({
                   tr => ($self->{insertion_mode} != IN_ROW_IM),
-Line 3681 
 sub _tree_construction_main ($) {
+Line 4530 
 sub _tree_construction_main ($) {
                  }->{$token->{tag_name}}) {
                if ($self->{insertion_mode} == IN_TABLE_IM) {
                  ## Clear back to table context
-                 while ($self->{open_elements}->[-1]->[1] ne 'table' and
+                 while (not ($self->{open_elements}->[-1]->[1]
-                        $self->{open_elements}->[-1]->[1] ne 'html') {
+                                 & TABLE_SCOPING_EL)) {
-                   !!!parse-error (type => 'not closed:'.$self->{open_elements}->[-1]->[1]);
+                   !!!cp ('t201');
                    pop @{$self->{open_elements}};
                  }
-                 !!!insert-element ('tbody');
+                 !!!insert-element ('tbody',, $token);
                  $self->{insertion_mode} = IN_TABLE_BODY_IM;
                  ## reprocess in the "in table body" insertion mode...
                }
                if ($self->{insertion_mode} == IN_TABLE_BODY_IM) {
                  unless ($token->{tag_name} eq 'tr') {
-                   !!!parse-error (type => 'missing start tag:tr');
+                   !!!cp ('t202');
+                   !!!parse-error (type => 'missing start tag:tr', token => $token);
                  }
                  ## Clear back to table body context
-                 while (not {
+                 while (not ($self->{open_elements}->[-1]->[1]
-                   tbody => 1, tfoot => 1, thead => 1, html => 1,
+                                 & TABLE_ROWS_SCOPING_EL)) {
-                 }->{$self->{open_elements}->[-1]->[1]}) {
+                   !!!cp ('t203');
-                   !!!parse-error (type => 'not closed:'.$self->{open_elements}->[-1]->[1]);
+                   ## ISSUE: Can this case be reached?
                    pop @{$self->{open_elements}};
                  }
                  $self->{insertion_mode} = IN_ROW_IM;
                  if ($token->{tag_name} eq 'tr') {
-                   !!!insert-element ($token->{tag_name}, $token->{attributes});
+                   !!!cp ('t204');
+                   !!!insert-element ($token->{tag_name}, $token->{attributes}, $token);
                    !!!next-token;
                    redo B;
                  } else {
-                   !!!insert-element ('tr');
+                   !!!cp ('t205');
+                   !!!insert-element ('tr',, $token);
                    ## reprocess in the "in row" insertion mode
                  }
+               } else {
+                 !!!cp ('t206');
                }
                ## Clear back to table row context
-               while (not {
+               while (not ($self->{open_elements}->[-1]->[1]
-                 tr => 1, html => 1,
+                               & TABLE_ROW_SCOPING_EL)) {
-               }->{$self->{open_elements}->[-1]->[1]}) {
+                 !!!cp ('t207');
-                 !!!parse-error (type => 'not closed:'.$self->{open_elements}->[-1]->[1]);
                  pop @{$self->{open_elements}};
                }
-               !!!insert-element ($token->{tag_name}, $token->{attributes});
+               !!!insert-element ($token->{tag_name}, $token->{attributes}, $token);
                $self->{insertion_mode} = IN_CELL_IM;
                push @$active_formatting_elements, ['#marker', ''];
-Line 3742 
 sub _tree_construction_main ($) {
+Line 4595 
 sub _tree_construction_main ($) {
                  my $i;
                  INSCOPE: for (reverse 0..$#{$self->{open_elements}}) {
                    my $node = $self->{open_elements}->[$_];
-                   if ($node->[1] eq 'tr') {
+                   if ($node->[1] & TABLE_ROW_EL) {
+                     !!!cp ('t208');
                      $i = $_;
                      last INSCOPE;
-                   } elsif ({
+                   } elsif ($node->[1] & TABLE_SCOPING_EL) {
-                             table => 1, html => 1,
+                     !!!cp ('t209');
-                            }->{$node->[1]}) {
                      last INSCOPE;
                    }
                  } # INSCOPE
                  unless (defined $i) {
-                   !!!parse-error (type => 'unmacthed end tag:'.$token->{tag_name});
+                  !!!cp ('t210');
+ ## TODO: This type is wrong.
+                  !!!parse-error (type => 'unmacthed end tag:'.$token->{tag_name}, token => $token);
                    ## Ignore the token
                    !!!next-token;
                    redo B;
                  }
                  ## Clear back to table row context
-                 while (not {
+                 while (not ($self->{open_elements}->[-1]->[1]
-                   tr => 1, html => 1,
+                                 & TABLE_ROW_SCOPING_EL)) {
-                 }->{$self->{open_elements}->[-1]->[1]}) {
+                   !!!cp ('t211');
-                   !!!parse-error (type => 'not closed:'.$self->{open_elements}->[-1]->[1]);
+                   ## ISSUE: Can this case be reached?
                    pop @{$self->{open_elements}};
                  }
                  pop @{$self->{open_elements}}; # tr
                  $self->{insertion_mode} = IN_TABLE_BODY_IM;
                  if ($token->{tag_name} eq 'tr') {
+                   !!!cp ('t212');
                    ## reprocess
                    redo B;
                  } else {
+                   !!!cp ('t213');
                    ## reprocess in the "in table body" insertion mode...
                  }
                }
-Line 3781 
 sub _tree_construction_main ($) {
+Line 4638 
 sub _tree_construction_main ($) {
                  my $i;
                  INSCOPE: for (reverse 0..$#{$self->{open_elements}}) {
                    my $node = $self->{open_elements}->[$_];
-                   if ({
+                   if ($node->[1] & TABLE_ROW_GROUP_EL) {
-                        tbody => 1, thead => 1, tfoot => 1,
+                     !!!cp ('t214');
-                       }->{$node->[1]}) {
                      $i = $_;
                      last INSCOPE;
-                   } elsif ({
+                   } elsif ($node->[1] & TABLE_SCOPING_EL) {
-                             table => 1, html => 1,
+                     !!!cp ('t215');
-                            }->{$node->[1]}) {
                      last INSCOPE;
                    }
                  } # INSCOPE
                  unless (defined $i) {
-                   !!!parse-error (type => 'unmatched end tag:'.$token->{tag_name});
+                   !!!cp ('t216');
+ ## TODO: This erorr type ios wrong.
+                   !!!parse-error (type => 'unmatched end tag:'.$token->{tag_name}, token => $token);
                    ## Ignore the token
                    !!!next-token;
                    redo B;
                  }
                  ## Clear back to table body context
-                 while (not {
+                 while (not ($self->{open_elements}->[-1]->[1]
-                   tbody => 1, tfoot => 1, thead => 1, html => 1,
+                                 & TABLE_ROWS_SCOPING_EL)) {
-                 }->{$self->{open_elements}->[-1]->[1]}) {
+                   !!!cp ('t217');
-                   !!!parse-error (type => 'not closed:'.$self->{open_elements}->[-1]->[1]);
+                   ## ISSUE: Can this state be reached?
                    pop @{$self->{open_elements}};
                  }
-Line 3817 
 sub _tree_construction_main ($) {
+Line 4674 
 sub _tree_construction_main ($) {
                  pop @{$self->{open_elements}};
                  $self->{insertion_mode} = IN_TABLE_IM;
                  ## reprocess in "in table" insertion mode...
+               } else {
+                 !!!cp ('t218');
                }
                if ($token->{tag_name} eq 'col') {
                  ## Clear back to table context
-                 while ($self->{open_elements}->[-1]->[1] ne 'table' and
+                 while (not ($self->{open_elements}->[-1]->[1]
-                        $self->{open_elements}->[-1]->[1] ne 'html') {
+                                 & TABLE_SCOPING_EL)) {
-                   !!!parse-error (type => 'not closed:'.$self->{open_elements}->[-1]->[1]);
+                   !!!cp ('t219');
+                   ## ISSUE: Can this state be reached?
                    pop @{$self->{open_elements}};
                  }
-                 !!!insert-element ('colgroup');
+                 !!!insert-element ('colgroup',, $token);
                  $self->{insertion_mode} = IN_COLUMN_GROUP_IM;
                  ## reprocess
                  redo B;
-Line 3837 
 sub _tree_construction_main ($) {
+Line 4697 
 sub _tree_construction_main ($) {
                          tbody => 1, tfoot => 1, thead => 1,
                         }->{$token->{tag_name}}) {
                  ## Clear back to table context
-                 while ($self->{open_elements}->[-1]->[1] ne 'table' and
+                 while (not ($self->{open_elements}->[-1]->[1]
-                        $self->{open_elements}->[-1]->[1] ne 'html') {
+                                 & TABLE_SCOPING_EL)) {
-                   !!!parse-error (type => 'not closed:'.$self->{open_elements}->[-1]->[1]);
+                   !!!cp ('t220');
+                   ## ISSUE: Can this state be reached?
                    pop @{$self->{open_elements}};
                  }
                  push @$active_formatting_elements, ['#marker', '']
                      if $token->{tag_name} eq 'caption';
-                 !!!insert-element ($token->{tag_name}, $token->{attributes});
+                 !!!insert-element ($token->{tag_name}, $token->{attributes}, $token);
                  $self->{insertion_mode} = {
                                             caption => IN_CAPTION_IM,
                                             colgroup => IN_COLUMN_GROUP_IM,
-Line 3860 
 sub _tree_construction_main ($) {
+Line 4721 
 sub _tree_construction_main ($) {
                  die "$0: in table: <>: $token->{tag_name}";
                }
              } elsif ($token->{tag_name} eq 'table') {
-               !!!parse-error (type => 'not closed:'.$self->{open_elements}->[-1]->[1]);
+               !!!parse-error (type => 'not closed',
+                               value => $self->{open_elements}->[-1]->[0]
+                                   ->manakai_local_name,
+                               token => $token);
                ## As if </table>
                ## have a table element in table scope
                my $i;
                INSCOPE: for (reverse 0..$#{$self->{open_elements}}) {
                  my $node = $self->{open_elements}->[$_];
-                 if ($node->[1] eq 'table') {
+                 if ($node->[1] & TABLE_EL) {
+                   !!!cp ('t221');
                    $i = $_;
                    last INSCOPE;
-                 } elsif ({
+                 } elsif ($node->[1] & TABLE_SCOPING_EL) {
-                           table => 1, html => 1,
+                   !!!cp ('t222');
-                          }->{$node->[1]}) {
                    last INSCOPE;
                  }
                } # INSCOPE
                unless (defined $i) {
-                 !!!parse-error (type => 'unmatched end tag:table');
+                 !!!cp ('t223');
+ ## TODO: The following is wrong, maybe.
+                 !!!parse-error (type => 'unmatched end tag:table', token => $token);
                  ## Ignore tokens </table><table>
                  !!!next-token;
                  redo B;
                }
+ ## TODO: Followings are removed from the latest spec.
                ## generate implied end tags
-               if ({
+               while ($self->{open_elements}->[-1]->[1] & END_TAG_OPTIONAL_EL) {
-                    dd => 1, dt => 1, li => 1, p => 1,
+                 !!!cp ('t224');
-                    td => 1, th => 1, tr => 1,
+                 pop @{$self->{open_elements}};
-                    tbody => 1, tfoot=> 1, thead => 1,
-                   }->{$self->{open_elements}->[-1]->[1]}) {
-                 !!!back-token; # <table>
-                 $token = {type => END_TAG_TOKEN, tag_name => 'table'};
-                 !!!back-token;
-                 $token = {type => END_TAG_TOKEN,
-                           tag_name => $self->{open_elements}->[-1]->[1]}; # MUST
-                 redo B;
                }
-               if ($self->{open_elements}->[-1]->[1] ne 'table') {
+               unless ($self->{open_elements}->[-1]->[1] & TABLE_EL) {
-                 !!!parse-error (type => 'not closed:'.$self->{open_elements}->[-1]->[1]);
+                 !!!cp ('t225');
+                 ## NOTE: |<table><tr><table>|
+                 !!!parse-error (type => 'not closed',
+                                 value => $self->{open_elements}->[-1]->[0]
+                                     ->manakai_local_name,
+                                 token => $token);
+               } else {
+                 !!!cp ('t226');
                }
                splice @{$self->{open_elements}}, $i;
+               pop @{$open_tables};
                $self->_reset_insertion_mode;
                ## reprocess
                redo B;
-         } else {
+         } elsif ($token->{tag_name} eq 'style') {
-           !!!parse-error (type => 'in table:'.$token->{tag_name});
+           if (not $open_tables->[-1]->[1]) { # tainted
+             !!!cp ('t227.8');
+             ## NOTE: This is a "as if in head" code clone.
+             $parse_rcdata->(CDATA_CONTENT_MODEL);
+             redo B;
+           } else {
+             !!!cp ('t227.7');
+             #
+           }
+         } elsif ($token->{tag_name} eq 'script') {
+           if (not $open_tables->[-1]->[1]) { # tainted
+             !!!cp ('t227.6');
+             ## NOTE: This is a "as if in head" code clone.
+             $script_start_tag->();
+             redo B;
+           } else {
+             !!!cp ('t227.5');
+             #
+           }
+         } elsif ($token->{tag_name} eq 'input') {
+           if (not $open_tables->[-1]->[1]) { # tainted
+             if ($token->{attributes}->{type}) { ## TODO: case
+               my $type = lc $token->{attributes}->{type}->{value};
+               if ($type eq 'hidden') {
+                 !!!cp ('t227.3');
+                 !!!parse-error (type => 'in table:'.$token->{tag_name}, token => $token);
-           $insert = $insert_to_foster;
+                 !!!insert-element ($token->{tag_name}, $token->{attributes}, $token);
+                 ## TODO: form element pointer
+                 pop @{$self->{open_elements}};
+                 !!!next-token;
+                 redo B;
+               } else {
+                 !!!cp ('t227.2');
+                 #
+               }
+             } else {
+               !!!cp ('t227.1');
+               #
+             }
+           } else {
+             !!!cp ('t227.4');
+             #
+           }
+         } else {
+           !!!cp ('t227');
            #
          }
+         !!!parse-error (type => 'in table:'.$token->{tag_name}, token => $token);
+         $insert = $insert_to_foster;
+         #
        } elsif ($token->{type} == END_TAG_TOKEN) {
              if ($token->{tag_name} eq 'tr' and
                  $self->{insertion_mode} == IN_ROW_IM) {
-Line 3920 
 sub _tree_construction_main ($) {
+Line 4838 
 sub _tree_construction_main ($) {
                my $i;
                INSCOPE: for (reverse 0..$#{$self->{open_elements}}) {
                  my $node = $self->{open_elements}->[$_];
-                 if ($node->[1] eq $token->{tag_name}) {
+                 if ($node->[1] & TABLE_ROW_EL) {
+                   !!!cp ('t228');
                    $i = $_;
                    last INSCOPE;
-                 } elsif ({
+                 } elsif ($node->[1] & TABLE_SCOPING_EL) {
-                           table => 1, html => 1,
+                   !!!cp ('t229');
-                          }->{$node->[1]}) {
                    last INSCOPE;
                  }
                } # INSCOPE
                unless (defined $i) {
-                 !!!parse-error (type => 'unmatched end tag:'.$token->{tag_name});
+                 !!!cp ('t230');
+                 !!!parse-error (type => 'unmatched end tag:'.$token->{tag_name}, token => $token);
                  ## Ignore the token
                  !!!next-token;
                  redo B;
+               } else {
+                 !!!cp ('t232');
                }
                ## Clear back to table row context
-               while (not {
+               while (not ($self->{open_elements}->[-1]->[1]
-                 tr => 1, html => 1,
+                               & TABLE_ROW_SCOPING_EL)) {
-               }->{$self->{open_elements}->[-1]->[1]}) {
+                 !!!cp ('t231');
-                 !!!parse-error (type => 'not closed:'.$self->{open_elements}->[-1]->[1]);
+ ## ISSUE: Can this state be reached?
                  pop @{$self->{open_elements}};
                }
-Line 3955 
 sub _tree_construction_main ($) {
+Line 4876 
 sub _tree_construction_main ($) {
                  my $i;
                  INSCOPE: for (reverse 0..$#{$self->{open_elements}}) {
                    my $node = $self->{open_elements}->[$_];
-                   if ($node->[1] eq 'tr') {
+                   if ($node->[1] & TABLE_ROW_EL) {
+                     !!!cp ('t233');
                      $i = $_;
                      last INSCOPE;
-                   } elsif ({
+                   } elsif ($node->[1] & TABLE_SCOPING_EL) {
-                             table => 1, html => 1,
+                     !!!cp ('t234');
-                            }->{$node->[1]}) {
                      last INSCOPE;
                    }
                  } # INSCOPE
                  unless (defined $i) {
-                   !!!parse-error (type => 'unmatched end tag:'.$token->{type});
+                   !!!cp ('t235');
+ ## TODO: The following is wrong.
+                   !!!parse-error (type => 'unmatched end tag:'.$token->{type}, token => $token);
                    ## Ignore the token
                    !!!next-token;
                    redo B;
                  }
                  ## Clear back to table row context
-                 while (not {
+                 while (not ($self->{open_elements}->[-1]->[1]
-                   tr => 1, html => 1,
+                                 & TABLE_ROW_SCOPING_EL)) {
-                 }->{$self->{open_elements}->[-1]->[1]}) {
+                   !!!cp ('t236');
-                   !!!parse-error (type => 'not closed:'.$self->{open_elements}->[-1]->[1]);
+ ## ISSUE: Can this state be reached?
                    pop @{$self->{open_elements}};
                  }
-Line 3989 
 sub _tree_construction_main ($) {
+Line 4912 
 sub _tree_construction_main ($) {
                  my $i;
                  INSCOPE: for (reverse 0..$#{$self->{open_elements}}) {
                    my $node = $self->{open_elements}->[$_];
-                   if ({
+                   if ($node->[1] & TABLE_ROW_GROUP_EL) {
-                        tbody => 1, thead => 1, tfoot => 1,
+                     !!!cp ('t237');
-                       }->{$node->[1]}) {
                      $i = $_;
                      last INSCOPE;
-                   } elsif ({
+                   } elsif ($node->[1] & TABLE_SCOPING_EL) {
-                             table => 1, html => 1,
+                     !!!cp ('t238');
-                            }->{$node->[1]}) {
                      last INSCOPE;
                    }
                  } # INSCOPE
                  unless (defined $i) {
-                   !!!parse-error (type => 'unmatched end tag:'.$token->{tag_name});
+                   !!!cp ('t239');
+                   !!!parse-error (type => 'unmatched end tag:'.$token->{tag_name}, token => $token);
                    ## Ignore the token
                    !!!next-token;
                    redo B;
                  }
                  ## Clear back to table body context
-                 while (not {
+                 while (not ($self->{open_elements}->[-1]->[1]
-                   tbody => 1, tfoot => 1, thead => 1, html => 1,
+                                 & TABLE_ROWS_SCOPING_EL)) {
-                 }->{$self->{open_elements}->[-1]->[1]}) {
+                   !!!cp ('t240');
-                   !!!parse-error (type => 'not closed:'.$self->{open_elements}->[-1]->[1]);
                    pop @{$self->{open_elements}};
                  }
-Line 4027 
 sub _tree_construction_main ($) {
+Line 4948 
 sub _tree_construction_main ($) {
                  ## reprocess in the "in table" insertion mode...
                }
+               ## NOTE: </table> in the "in table" insertion mode.
+               ## When you edit the code fragment below, please ensure that
+               ## the code for <table> in the "in table" insertion mode
+               ## is synced with it.
                ## have a table element in table scope
                my $i;
                INSCOPE: for (reverse 0..$#{$self->{open_elements}}) {
                  my $node = $self->{open_elements}->[$_];
-                 if ($node->[1] eq $token->{tag_name}) {
+                 if ($node->[1] & TABLE_EL) {
+                   !!!cp ('t241');
                    $i = $_;
                    last INSCOPE;
-                 } elsif ({
+                 } elsif ($node->[1] & TABLE_SCOPING_EL) {
-                           table => 1, html => 1,
+                   !!!cp ('t242');
-                          }->{$node->[1]}) {
                    last INSCOPE;
                  }
                } # INSCOPE
                unless (defined $i) {
-                 !!!parse-error (type => 'unmatched end tag:'.$token->{tag_name});
+                 !!!cp ('t243');
+                 !!!parse-error (type => 'unmatched end tag:'.$token->{tag_name}, token => $token);
                  ## Ignore the token
                  !!!next-token;
                  redo B;
                }
-               ## generate implied end tags
-               if ({
-                    dd => 1, dt => 1, li => 1, p => 1,
-                    td => 1, th => 1, tr => 1,
-                    tbody => 1, tfoot=> 1, thead => 1,
-                   }->{$self->{open_elements}->[-1]->[1]}) {
-                 !!!back-token;
-                 $token = {type => END_TAG_TOKEN,
-                           tag_name => $self->{open_elements}->[-1]->[1]}; # MUST
-                 redo B;
-               }
-               if ($self->{open_elements}->[-1]->[1] ne 'table') {
-                 !!!parse-error (type => 'not closed:'.$self->{open_elements}->[-1]->[1]);
-               }
                splice @{$self->{open_elements}}, $i;
+               pop @{$open_tables};
                $self->_reset_insertion_mode;
-Line 4078 
 sub _tree_construction_main ($) {
+Line 4990 
 sub _tree_construction_main ($) {
                  my $i;
                  INSCOPE: for (reverse 0..$#{$self->{open_elements}}) {
                    my $node = $self->{open_elements}->[$_];
-                   if ($node->[1] eq $token->{tag_name}) {
+                   if ($node->[0]->manakai_local_name eq $token->{tag_name}) {
+                     !!!cp ('t247');
                      $i = $_;
                      last INSCOPE;
-                   } elsif ({
+                   } elsif ($node->[1] & TABLE_SCOPING_EL) {
-                             table => 1, html => 1,
+                     !!!cp ('t248');
-                            }->{$node->[1]}) {
                      last INSCOPE;
                    }
                  } # INSCOPE
                    unless (defined $i) {
-                     !!!parse-error (type => 'unmatched end tag:'.$token->{tag_name});
+                     !!!cp ('t249');
+                     !!!parse-error (type => 'unmatched end tag:'.$token->{tag_name}, token => $token);
                      ## Ignore the token
                      !!!next-token;
                      redo B;
-Line 4099 
 sub _tree_construction_main ($) {
+Line 5012 
 sub _tree_construction_main ($) {
                  my $i;
                  INSCOPE: for (reverse 0..$#{$self->{open_elements}}) {
                    my $node = $self->{open_elements}->[$_];
-                   if ($node->[1] eq 'tr') {
+                   if ($node->[1] & TABLE_ROW_EL) {
+                     !!!cp ('t250');
                      $i = $_;
                      last INSCOPE;
-                   } elsif ({
+                   } elsif ($node->[1] & TABLE_SCOPING_EL) {
-                             table => 1, html => 1,
+                     !!!cp ('t251');
-                            }->{$node->[1]}) {
                      last INSCOPE;
                    }
                  } # INSCOPE
                    unless (defined $i) {
-                     !!!parse-error (type => 'unmatched end tag:tr');
+                     !!!cp ('t252');
+                     !!!parse-error (type => 'unmatched end tag:tr', token => $token);
                      ## Ignore the token
                      !!!next-token;
                      redo B;
                    }
                  ## Clear back to table row context
-                 while (not {
+                 while (not ($self->{open_elements}->[-1]->[1]
-                   tr => 1, html => 1,
+                                 & TABLE_ROW_SCOPING_EL)) {
-                 }->{$self->{open_elements}->[-1]->[1]}) {
+                   !!!cp ('t253');
-                   !!!parse-error (type => 'not closed:'.$self->{open_elements}->[-1]->[1]);
+ ## ISSUE: Can this case be reached?
                    pop @{$self->{open_elements}};
                  }
-Line 4132 
 sub _tree_construction_main ($) {
+Line 5046 
 sub _tree_construction_main ($) {
                my $i;
                INSCOPE: for (reverse 0..$#{$self->{open_elements}}) {
                  my $node = $self->{open_elements}->[$_];
-                 if ($node->[1] eq $token->{tag_name}) {
+                 if ($node->[0]->manakai_local_name eq $token->{tag_name}) {
+                   !!!cp ('t254');
                    $i = $_;
                    last INSCOPE;
-                 } elsif ({
+                 } elsif ($node->[1] & TABLE_SCOPING_EL) {
-                           table => 1, html => 1,
+                   !!!cp ('t255');
-                          }->{$node->[1]}) {
                    last INSCOPE;
                  }
                } # INSCOPE
                unless (defined $i) {
-                 !!!parse-error (type => 'unmatched end tag:'.$token->{tag_name});
+                 !!!cp ('t256');
+                 !!!parse-error (type => 'unmatched end tag:'.$token->{tag_name}, token => $token);
                  ## Ignore the token
                  !!!next-token;
                  redo B;
                }
                ## Clear back to table body context
-               while (not {
+               while (not ($self->{open_elements}->[-1]->[1]
-                 tbody => 1, tfoot => 1, thead => 1, html => 1,
+                               & TABLE_ROWS_SCOPING_EL)) {
-               }->{$self->{open_elements}->[-1]->[1]}) {
+                 !!!cp ('t257');
-                 !!!parse-error (type => 'not closed:'.$self->{open_elements}->[-1]->[1]);
+ ## ISSUE: Can this case be reached?
                  pop @{$self->{open_elements}};
                }
-Line 4166 
 sub _tree_construction_main ($) {
+Line 5081 
 sub _tree_construction_main ($) {
                        tr => 1, # $self->{insertion_mode} == IN_ROW_IM
                        tbody => 1, tfoot => 1, thead => 1, # $self->{insertion_mode} == IN_TABLE_IM
                       }->{$token->{tag_name}}) {
-               !!!parse-error (type => 'unmatched end tag:'.$token->{tag_name});
+               !!!cp ('t258');
+               !!!parse-error (type => 'unmatched end tag:'.$token->{tag_name}, token => $token);
                ## Ignore the token
                !!!next-token;
                redo B;
          } else {
-           !!!parse-error (type => 'in table:/'.$token->{tag_name});
+           !!!cp ('t259');
+           !!!parse-error (type => 'in table:/'.$token->{tag_name}, token => $token);
            $insert = $insert_to_foster;
            #
          }
+       } elsif ($token->{type} == END_OF_FILE_TOKEN) {
+         unless ($self->{open_elements}->[-1]->[1] & HTML_EL and
+                 @{$self->{open_elements}} == 1) { # redundant, maybe
+           !!!parse-error (type => 'in body:#eof', token => $token);
+           !!!cp ('t259.1');
+           #
+         } else {
+           !!!cp ('t259.2');
+           #
+         }
+         ## Stop parsing
+         last B;
        } else {
          die "$0: $token->{type}: Unknown token type";
        }
-Line 4184 
 sub _tree_construction_main ($) {
+Line 5114 
 sub _tree_construction_main ($) {
              if ($token->{data} =~ s/^([\x09\x0A\x0B\x0C\x20]+)//) {
                $self->{open_elements}->[-1]->[0]->manakai_append_text ($1);
                unless (length $token->{data}) {
+                 !!!cp ('t260');
                  !!!next-token;
                  redo B;
                }
              }
+             !!!cp ('t261');
              #
            } elsif ($token->{type} == START_TAG_TOKEN) {
              if ($token->{tag_name} eq 'col') {
-               !!!insert-element ($token->{tag_name}, $token->{attributes});
+               !!!cp ('t262');
+               !!!insert-element ($token->{tag_name}, $token->{attributes}, $token);
                pop @{$self->{open_elements}};
                !!!next-token;
                redo B;
              } else {
+               !!!cp ('t263');
                #
              }
            } elsif ($token->{type} == END_TAG_TOKEN) {
              if ($token->{tag_name} eq 'colgroup') {
-               if ($self->{open_elements}->[-1]->[1] eq 'html') {
+               if ($self->{open_elements}->[-1]->[1] & HTML_EL) {
-                 !!!parse-error (type => 'unmatched end tag:colgroup');
+                 !!!cp ('t264');
+                 !!!parse-error (type => 'unmatched end tag:colgroup', token => $token);
                  ## Ignore the token
                  !!!next-token;
                  redo B;
                } else {
+                 !!!cp ('t265');
                  pop @{$self->{open_elements}}; # colgroup
                  $self->{insertion_mode} = IN_TABLE_IM;
                  !!!next-token;
                  redo B;
                }
              } elsif ($token->{tag_name} eq 'col') {
-               !!!parse-error (type => 'unmatched end tag:col');
+               !!!cp ('t266');
+               !!!parse-error (type => 'unmatched end tag:col', token => $token);
                ## Ignore the token
                !!!next-token;
                redo B;
              } else {
+               !!!cp ('t267');
                #
              }
-           } else {
+       } elsif ($token->{type} == END_OF_FILE_TOKEN) {
-             #
+         if ($self->{open_elements}->[-1]->[1] & HTML_EL and
-           }
+             @{$self->{open_elements}} == 1) { # redundant, maybe
+           !!!cp ('t270.2');
+           ## Stop parsing.
+           last B;
+         } else {
+           ## NOTE: As if </colgroup>.
+           !!!cp ('t270.1');
+           pop @{$self->{open_elements}}; # colgroup
+           $self->{insertion_mode} = IN_TABLE_IM;
+           ## Reprocess.
+           redo B;
+         }
+       } else {
+         die "$0: $token->{type}: Unknown token type";
+       }
            ## As if </colgroup>
-           if ($self->{open_elements}->[-1]->[1] eq 'html') {
+           if ($self->{open_elements}->[-1]->[1] & HTML_EL) {
-             !!!parse-error (type => 'unmatched end tag:colgroup');
+             !!!cp ('t269');
+ ## TODO: Wrong error type?
+             !!!parse-error (type => 'unmatched end tag:colgroup', token => $token);
              ## Ignore the token
              !!!next-token;
              redo B;
            } else {
+             !!!cp ('t270');
              pop @{$self->{open_elements}}; # colgroup
              $self->{insertion_mode} = IN_TABLE_IM;
              ## reprocess
              redo B;
            }
-     } elsif ($self->{insertion_mode} == IN_SELECT_IM) {
+     } elsif ($self->{insertion_mode} & SELECT_IMS) {
        if ($token->{type} == CHARACTER_TOKEN) {
+         !!!cp ('t271');
          $self->{open_elements}->[-1]->[0]->manakai_append_text ($token->{data});
          !!!next-token;
          redo B;
        } elsif ($token->{type} == START_TAG_TOKEN) {
-             if ($token->{tag_name} eq 'option') {
+         if ($token->{tag_name} eq 'option') {
-               if ($self->{open_elements}->[-1]->[1] eq 'option') {
+           if ($self->{open_elements}->[-1]->[1] & OPTION_EL) {
-                 ## As if </option>
+             !!!cp ('t272');
-                 pop @{$self->{open_elements}};
+             ## As if </option>
-               }
+             pop @{$self->{open_elements}};
+           } else {
+             !!!cp ('t273');
+           }
-               !!!insert-element ($token->{tag_name}, $token->{attributes});
+           !!!insert-element ($token->{tag_name}, $token->{attributes}, $token);
-               !!!next-token;
+           !!!next-token;
-               redo B;
+           redo B;
-             } elsif ($token->{tag_name} eq 'optgroup') {
+         } elsif ($token->{tag_name} eq 'optgroup') {
-               if ($self->{open_elements}->[-1]->[1] eq 'option') {
+           if ($self->{open_elements}->[-1]->[1] & OPTION_EL) {
-                 ## As if </option>
+             !!!cp ('t274');
-                 pop @{$self->{open_elements}};
+             ## As if </option>
-               }
+             pop @{$self->{open_elements}};
+           } else {
+             !!!cp ('t275');
+           }
-               if ($self->{open_elements}->[-1]->[1] eq 'optgroup') {
+           if ($self->{open_elements}->[-1]->[1] & OPTGROUP_EL) {
-                 ## As if </optgroup>
+             !!!cp ('t276');
-                 pop @{$self->{open_elements}};
+             ## As if </optgroup>
-               }
+             pop @{$self->{open_elements}};
+           } else {
+             !!!cp ('t277');
+           }
-               !!!insert-element ($token->{tag_name}, $token->{attributes});
+           !!!insert-element ($token->{tag_name}, $token->{attributes}, $token);
-               !!!next-token;
+           !!!next-token;
-               redo B;
+           redo B;
-             } elsif ($token->{tag_name} eq 'select') {
+         } elsif ($token->{tag_name} eq 'select' or
-               !!!parse-error (type => 'not closed:select');
+                  $token->{tag_name} eq 'input' or
-               ## As if </select> instead
+                  ($self->{insertion_mode} == IN_SELECT_IN_TABLE_IM and
-               ## have an element in table scope
+                   {
-               my $i;
+                    caption => 1, table => 1,
-               INSCOPE: for (reverse 0..$#{$self->{open_elements}}) {
+                    tbody => 1, tfoot => 1, thead => 1,
-                 my $node = $self->{open_elements}->[$_];
+                    tr => 1, td => 1, th => 1,
-                 if ($node->[1] eq $token->{tag_name}) {
+                   }->{$token->{tag_name}})) {
-                   $i = $_;
+           ## TODO: The type below is not good - <select> is replaced by </select>
-                   last INSCOPE;
+           !!!parse-error (type => 'not closed:select', token => $token);
-                 } elsif ({
+           ## NOTE: As if the token were </select> (<select> case) or
-                           table => 1, html => 1,
+           ## as if there were </select> (otherwise).
-                          }->{$node->[1]}) {
+           ## have an element in table scope
-                   last INSCOPE;
+           my $i;
-                 }
+           INSCOPE: for (reverse 0..$#{$self->{open_elements}}) {
-               } # INSCOPE
+             my $node = $self->{open_elements}->[$_];
-               unless (defined $i) {
+             if ($node->[1] & SELECT_EL) {
-                 !!!parse-error (type => 'unmatched end tag:select');
+               !!!cp ('t278');
-                 ## Ignore the token
+               $i = $_;
-                 !!!next-token;
+               last INSCOPE;
-                 redo B;
+             } elsif ($node->[1] & TABLE_SCOPING_EL) {
-               }
+               !!!cp ('t279');
+               last INSCOPE;
+             }
+           } # INSCOPE
+           unless (defined $i) {
+             !!!cp ('t280');
+             !!!parse-error (type => 'unmatched end tag:select', token => $token);
+             ## Ignore the token
+             !!!next-token;
+             redo B;
+           }
-               splice @{$self->{open_elements}}, $i;
+           !!!cp ('t281');
+           splice @{$self->{open_elements}}, $i;
-               $self->_reset_insertion_mode;
+           $self->_reset_insertion_mode;
-               !!!next-token;
+           if ($token->{tag_name} eq 'select') {
-               redo B;
+             !!!cp ('t281.2');
+             !!!next-token;
+             redo B;
+           } else {
+             !!!cp ('t281.1');
+             ## Reprocess the token.
+             redo B;
+           }
          } else {
-           !!!parse-error (type => 'in select:'.$token->{tag_name});
+           !!!cp ('t282');
+           !!!parse-error (type => 'in select:'.$token->{tag_name}, token => $token);
            ## Ignore the token
            !!!next-token;
            redo B;
          }
        } elsif ($token->{type} == END_TAG_TOKEN) {
-             if ($token->{tag_name} eq 'optgroup') {
+         if ($token->{tag_name} eq 'optgroup') {
-               if ($self->{open_elements}->[-1]->[1] eq 'option' and
+           if ($self->{open_elements}->[-1]->[1] & OPTION_EL and
-                   $self->{open_elements}->[-2]->[1] eq 'optgroup') {
+               $self->{open_elements}->[-2]->[1] & OPTGROUP_EL) {
-                 ## As if </option>
+             !!!cp ('t283');
-                 splice @{$self->{open_elements}}, -2;
+             ## As if </option>
-               } elsif ($self->{open_elements}->[-1]->[1] eq 'optgroup') {
+             splice @{$self->{open_elements}}, -2;
-                 pop @{$self->{open_elements}};
+           } elsif ($self->{open_elements}->[-1]->[1] & OPTGROUP_EL) {
-               } else {
+             !!!cp ('t284');
-                 !!!parse-error (type => 'unmatched end tag:'.$token->{tag_name});
+             pop @{$self->{open_elements}};
-                 ## Ignore the token
+           } else {
-               }
+             !!!cp ('t285');
-               !!!next-token;
+             !!!parse-error (type => 'unmatched end tag:'.$token->{tag_name}, token => $token);
-               redo B;
+             ## Ignore the token
-             } elsif ($token->{tag_name} eq 'option') {
+           }
-               if ($self->{open_elements}->[-1]->[1] eq 'option') {
+           !!!next-token;
-                 pop @{$self->{open_elements}};
+           redo B;
-               } else {
+         } elsif ($token->{tag_name} eq 'option') {
-                 !!!parse-error (type => 'unmatched end tag:'.$token->{tag_name});
+           if ($self->{open_elements}->[-1]->[1] & OPTION_EL) {
-                 ## Ignore the token
+             !!!cp ('t286');
-               }
+             pop @{$self->{open_elements}};
-               !!!next-token;
+           } else {
-               redo B;
+             !!!cp ('t287');
-             } elsif ($token->{tag_name} eq 'select') {
+             !!!parse-error (type => 'unmatched end tag:'.$token->{tag_name}, token => $token);
-               ## have an element in table scope
+             ## Ignore the token
-               my $i;
+           }
-               INSCOPE: for (reverse 0..$#{$self->{open_elements}}) {
+           !!!next-token;
-                 my $node = $self->{open_elements}->[$_];
+           redo B;
-                 if ($node->[1] eq $token->{tag_name}) {
+         } elsif ($token->{tag_name} eq 'select') {
-                   $i = $_;
+           ## have an element in table scope
-                   last INSCOPE;
+           my $i;
-                 } elsif ({
+           INSCOPE: for (reverse 0..$#{$self->{open_elements}}) {
-                           table => 1, html => 1,
+             my $node = $self->{open_elements}->[$_];
-                          }->{$node->[1]}) {
+             if ($node->[1] & SELECT_EL) {
-                   last INSCOPE;
+               !!!cp ('t288');
-                 }
+               $i = $_;
-               } # INSCOPE
+               last INSCOPE;
-               unless (defined $i) {
+             } elsif ($node->[1] & TABLE_SCOPING_EL) {
-                 !!!parse-error (type => 'unmatched end tag:'.$token->{tag_name});
+               !!!cp ('t289');
-                 ## Ignore the token
+               last INSCOPE;
-                 !!!next-token;
+             }
-                 redo B;
+           } # INSCOPE
-               }
+           unless (defined $i) {
+             !!!cp ('t290');
+             !!!parse-error (type => 'unmatched end tag:'.$token->{tag_name}, token => $token);
+             ## Ignore the token
+             !!!next-token;
+             redo B;
+           }
-               splice @{$self->{open_elements}}, $i;
+           !!!cp ('t291');
+           splice @{$self->{open_elements}}, $i;
-               $self->_reset_insertion_mode;
+           $self->_reset_insertion_mode;
-               !!!next-token;
+           !!!next-token;
-               redo B;
+           redo B;
-             } elsif ({
+         } elsif ($self->{insertion_mode} == IN_SELECT_IN_TABLE_IM and
-                       caption => 1, table => 1, tbody => 1,
+                  {
-                       tfoot => 1, thead => 1, tr => 1, td => 1, th => 1,
+                   caption => 1, table => 1, tbody => 1,
-                      }->{$token->{tag_name}}) {
+                   tfoot => 1, thead => 1, tr => 1, td => 1, th => 1,
-               !!!parse-error (type => 'unmatched end tag:'.$token->{tag_name});
+                  }->{$token->{tag_name}}) {
+ ## TODO: The following is wrong?
+           !!!parse-error (type => 'unmatched end tag:'.$token->{tag_name}, token => $token);
-               ## have an element in table scope
+           ## have an element in table scope
-               my $i;
+           my $i;
-               INSCOPE: for (reverse 0..$#{$self->{open_elements}}) {
+           INSCOPE: for (reverse 0..$#{$self->{open_elements}}) {
-                 my $node = $self->{open_elements}->[$_];
+             my $node = $self->{open_elements}->[$_];
-                 if ($node->[1] eq $token->{tag_name}) {
+             if ($node->[0]->manakai_local_name eq $token->{tag_name}) {
-                   $i = $_;
+               !!!cp ('t292');
-                   last INSCOPE;
+               $i = $_;
-                 } elsif ({
+               last INSCOPE;
-                           table => 1, html => 1,
+             } elsif ($node->[1] & TABLE_SCOPING_EL) {
-                          }->{$node->[1]}) {
+               !!!cp ('t293');
-                   last INSCOPE;
+               last INSCOPE;
-                 }
+             }
-               } # INSCOPE
+           } # INSCOPE
-               unless (defined $i) {
+           unless (defined $i) {
-                 ## Ignore the token
+             !!!cp ('t294');
-                 !!!next-token;
+             ## Ignore the token
-                 redo B;
+             !!!next-token;
-               }
+             redo B;
+           }
-               ## As if </select>
+           ## As if </select>
-               ## have an element in table scope
+           ## have an element in table scope
-               undef $i;
+           undef $i;
-               INSCOPE: for (reverse 0..$#{$self->{open_elements}}) {
+           INSCOPE: for (reverse 0..$#{$self->{open_elements}}) {
-                 my $node = $self->{open_elements}->[$_];
+             my $node = $self->{open_elements}->[$_];
-                 if ($node->[1] eq 'select') {
+             if ($node->[1] & SELECT_EL) {
-                   $i = $_;
+               !!!cp ('t295');
-                   last INSCOPE;
+               $i = $_;
-                 } elsif ({
+               last INSCOPE;
-                           table => 1, html => 1,
+             } elsif ($node->[1] & TABLE_SCOPING_EL) {
-                          }->{$node->[1]}) {
+ ## ISSUE: Can this state be reached?
-                   last INSCOPE;
+               !!!cp ('t296');
-                 }
+               last INSCOPE;
-               } # INSCOPE
+             }
-               unless (defined $i) {
+           } # INSCOPE
-                 !!!parse-error (type => 'unmatched end tag:select');
+           unless (defined $i) {
-                 ## Ignore the </select> token
+             !!!cp ('t297');
-                 !!!next-token; ## TODO: ok?
+ ## TODO: The following error type is correct?
-                 redo B;
+             !!!parse-error (type => 'unmatched end tag:select', token => $token);
-               }
+             ## Ignore the </select> token
+             !!!next-token; ## TODO: ok?
+             redo B;
+           }
-               splice @{$self->{open_elements}}, $i;
+           !!!cp ('t298');
+           splice @{$self->{open_elements}}, $i;
-               $self->_reset_insertion_mode;
+           $self->_reset_insertion_mode;
-               ## reprocess
+           ## reprocess
-               redo B;
+           redo B;
          } else {
-           !!!parse-error (type => 'in select:/'.$token->{tag_name});
+           !!!cp ('t299');
+           !!!parse-error (type => 'in select:/'.$token->{tag_name}, token => $token);
            ## Ignore the token
            !!!next-token;
            redo B;
          }
+       } elsif ($token->{type} == END_OF_FILE_TOKEN) {
+         unless ($self->{open_elements}->[-1]->[1] & HTML_EL and
+                 @{$self->{open_elements}} == 1) { # redundant, maybe
+           !!!cp ('t299.1');
+           !!!parse-error (type => 'in body:#eof', token => $token);
+         } else {
+           !!!cp ('t299.2');
+         }
+         ## Stop parsing.
+         last B;
        } else {
          die "$0: $token->{type}: Unknown token type";
        }
-Line 4421 
 sub _tree_construction_main ($) {
+Line 5431 
 sub _tree_construction_main ($) {
            $self->{open_elements}->[-1]->[0]->manakai_append_text ($1);
            unless (length $token->{data}) {
+             !!!cp ('t300');
              !!!next-token;
              redo B;
            }
          }
          if ($self->{insertion_mode} == AFTER_HTML_BODY_IM) {
-           !!!parse-error (type => 'after html:#character');
+           !!!cp ('t301');
+           !!!parse-error (type => 'after html:#character', token => $token);
-           ## Reprocess in the "main" phase, "after body" insertion mode...
+           ## Reprocess in the "after body" insertion mode.
+         } else {
+           !!!cp ('t302');
          }
          ## "after body" insertion mode
-         !!!parse-error (type => 'after body:#character');
+         !!!parse-error (type => 'after body:#character', token => $token);
          $self->{insertion_mode} = IN_BODY_IM;
          ## reprocess
          redo B;
        } elsif ($token->{type} == START_TAG_TOKEN) {
          if ($self->{insertion_mode} == AFTER_HTML_BODY_IM) {
-           !!!parse-error (type => 'after html:'.$token->{tag_name});
+           !!!cp ('t303');
+           !!!parse-error (type => 'after html:'.$token->{tag_name}, token => $token);
-           ## Reprocess in the "main" phase, "after body" insertion mode...
+           ## Reprocess in the "after body" insertion mode.
+         } else {
+           !!!cp ('t304');
          }
          ## "after body" insertion mode
-         !!!parse-error (type => 'after body:'.$token->{tag_name});
+         !!!parse-error (type => 'after body:'.$token->{tag_name}, token => $token);
          $self->{insertion_mode} = IN_BODY_IM;
          ## reprocess
          redo B;
        } elsif ($token->{type} == END_TAG_TOKEN) {
          if ($self->{insertion_mode} == AFTER_HTML_BODY_IM) {
-           !!!parse-error (type => 'after html:/'.$token->{tag_name});
+           !!!cp ('t305');
+           !!!parse-error (type => 'after html:/'.$token->{tag_name}, token => $token);
            $self->{insertion_mode} = AFTER_BODY_IM;
-           ## Reprocess in the "main" phase, "after body" insertion mode...
+           ## Reprocess in the "after body" insertion mode.
+         } else {
+           !!!cp ('t306');
          }
          ## "after body" insertion mode
          if ($token->{tag_name} eq 'html') {
            if (defined $self->{inner_html_node}) {
-             !!!parse-error (type => 'unmatched end tag:html');
+             !!!cp ('t307');
+             !!!parse-error (type => 'unmatched end tag:html', token => $token);
              ## Ignore the token
              !!!next-token;
              redo B;
            } else {
+             !!!cp ('t308');
              $self->{insertion_mode} = AFTER_HTML_BODY_IM;
              !!!next-token;
              redo B;
            }
          } else {
-           !!!parse-error (type => 'after body:/'.$token->{tag_name});
+           !!!cp ('t309');
+           !!!parse-error (type => 'after body:/'.$token->{tag_name}, token => $token);
            $self->{insertion_mode} = IN_BODY_IM;
            ## reprocess
            redo B;
          }
+       } elsif ($token->{type} == END_OF_FILE_TOKEN) {
+         !!!cp ('t309.2');
+         ## Stop parsing
+         last B;
        } else {
          die "$0: $token->{type}: Unknown token type";
        }
-Line 4487 
 sub _tree_construction_main ($) {
+Line 5514 
 sub _tree_construction_main ($) {
            $self->{open_elements}->[-1]->[0]->manakai_append_text ($1);
            unless (length $token->{data}) {
+             !!!cp ('t310');
              !!!next-token;
              redo B;
            }
-Line 4494 
 sub _tree_construction_main ($) {
+Line 5522 
 sub _tree_construction_main ($) {
          if ($token->{data} =~ s/^[^\x09\x0A\x0B\x0C\x20]+//) {
            if ($self->{insertion_mode} == IN_FRAMESET_IM) {
-             !!!parse-error (type => 'in frameset:#character');
+             !!!cp ('t311');
+             !!!parse-error (type => 'in frameset:#character', token => $token);
            } elsif ($self->{insertion_mode} == AFTER_FRAMESET_IM) {
-             !!!parse-error (type => 'after frameset:#character');
+             !!!cp ('t312');
+             !!!parse-error (type => 'after frameset:#character', token => $token);
            } else { # "after html frameset"
-             !!!parse-error (type => 'after html:#character');
+             !!!cp ('t313');
+             !!!parse-error (type => 'after html:#character', token => $token);
              $self->{insertion_mode} = AFTER_FRAMESET_IM;
-             ## Reprocess in the "main" phase, "after frameset"...
+             ## Reprocess in the "after frameset" insertion mode.
-             !!!parse-error (type => 'after frameset:#character');
+             !!!parse-error (type => 'after frameset:#character', token => $token);
            }
            ## Ignore the token.
            if (length $token->{data}) {
+             !!!cp ('t314');
              ## reprocess the rest of characters
            } else {
+             !!!cp ('t315');
              !!!next-token;
            }
            redo B;
-Line 4517 
 sub _tree_construction_main ($) {
+Line 5550 
 sub _tree_construction_main ($) {
          die qq[$0: Character "$token->{data}"];
        } elsif ($token->{type} == START_TAG_TOKEN) {
          if ($self->{insertion_mode} == AFTER_HTML_FRAMESET_IM) {
-           !!!parse-error (type => 'after html:'.$token->{tag_name});
+           !!!cp ('t316');
+           !!!parse-error (type => 'after html:'.$token->{tag_name}, token => $token);
            $self->{insertion_mode} = AFTER_FRAMESET_IM;
-           ## Process in the "main" phase, "after frameset" insertion mode...
+           ## Process in the "after frameset" insertion mode.
-         }
+         } else {
+           !!!cp ('t317');
+         }
          if ($token->{tag_name} eq 'frameset' and
              $self->{insertion_mode} == IN_FRAMESET_IM) {
-           !!!insert-element ($token->{tag_name}, $token->{attributes});
+           !!!cp ('t318');
+           !!!insert-element ($token->{tag_name}, $token->{attributes}, $token);
            !!!next-token;
            redo B;
          } elsif ($token->{tag_name} eq 'frame' and
                   $self->{insertion_mode} == IN_FRAMESET_IM) {
-           !!!insert-element ($token->{tag_name}, $token->{attributes});
+           !!!cp ('t319');
+           !!!insert-element ($token->{tag_name}, $token->{attributes}, $token);
            pop @{$self->{open_elements}};
            !!!next-token;
            redo B;
          } elsif ($token->{tag_name} eq 'noframes') {
+           !!!cp ('t320');
            ## NOTE: As if in body.
-           $parse_rcdata->(CDATA_CONTENT_MODEL, $insert_to_current);
+           $parse_rcdata->(CDATA_CONTENT_MODEL);
            redo B;
          } else {
            if ($self->{insertion_mode} == IN_FRAMESET_IM) {
-             !!!parse-error (type => 'in frameset:'.$token->{tag_name});
+             !!!cp ('t321');
+             !!!parse-error (type => 'in frameset:'.$token->{tag_name}, token => $token);
            } else {
-             !!!parse-error (type => 'after frameset:'.$token->{tag_name});
+             !!!cp ('t322');
+             !!!parse-error (type => 'after frameset:'.$token->{tag_name}, token => $token);
            }
            ## Ignore the token
            !!!next-token;
-Line 4550 
 sub _tree_construction_main ($) {
+Line 5591 
 sub _tree_construction_main ($) {
          }
        } elsif ($token->{type} == END_TAG_TOKEN) {
          if ($self->{insertion_mode} == AFTER_HTML_FRAMESET_IM) {
-           !!!parse-error (type => 'after html:/'.$token->{tag_name});
+           !!!cp ('t323');
+           !!!parse-error (type => 'after html:/'.$token->{tag_name}, token => $token);
            $self->{insertion_mode} = AFTER_FRAMESET_IM;
-           ## Process in the "main" phase, "after frameset" insertion mode...
+           ## Process in the "after frameset" insertion mode.
+         } else {
+           !!!cp ('t324');
          }
          if ($token->{tag_name} eq 'frameset' and
              $self->{insertion_mode} == IN_FRAMESET_IM) {
-           if ($self->{open_elements}->[-1]->[1] eq 'html' and
+           if ($self->{open_elements}->[-1]->[1] & HTML_EL and
                @{$self->{open_elements}} == 1) {
-             !!!parse-error (type => 'unmatched end tag:'.$token->{tag_name});
+             !!!cp ('t325');
+             !!!parse-error (type => 'unmatched end tag:'.$token->{tag_name}, token => $token);
              ## Ignore the token
              !!!next-token;
            } else {
+             !!!cp ('t326');
              pop @{$self->{open_elements}};
              !!!next-token;
            }
            if (not defined $self->{inner_html_node} and
-               $self->{open_elements}->[-1]->[1] ne 'frameset') {
+               not ($self->{open_elements}->[-1]->[1] & FRAMESET_EL)) {
+             !!!cp ('t327');
              $self->{insertion_mode} = AFTER_FRAMESET_IM;
+           } else {
+             !!!cp ('t328');
            }
            redo B;
          } elsif ($token->{tag_name} eq 'html' and
                   $self->{insertion_mode} == AFTER_FRAMESET_IM) {
+           !!!cp ('t329');
            $self->{insertion_mode} = AFTER_HTML_FRAMESET_IM;
            !!!next-token;
            redo B;
          } else {
            if ($self->{insertion_mode} == IN_FRAMESET_IM) {
-             !!!parse-error (type => 'in frameset:/'.$token->{tag_name});
+             !!!cp ('t330');
+             !!!parse-error (type => 'in frameset:/'.$token->{tag_name}, token => $token);
            } else {
-             !!!parse-error (type => 'after frameset:/'.$token->{tag_name});
+             !!!cp ('t331');
+             !!!parse-error (type => 'after frameset:/'.$token->{tag_name}, token => $token);
            }
            ## Ignore the token
            !!!next-token;
            redo B;
          }
+       } elsif ($token->{type} == END_OF_FILE_TOKEN) {
+         unless ($self->{open_elements}->[-1]->[1] & HTML_EL and
+                 @{$self->{open_elements}} == 1) { # redundant, maybe
+           !!!cp ('t331.1');
+           !!!parse-error (type => 'in body:#eof', token => $token);
+         } else {
+           !!!cp ('t331.2');
+         }
+         ## Stop parsing
+         last B;
        } else {
          die "$0: $token->{type}: Unknown token type";
        }
-Line 4600 
 sub _tree_construction_main ($) {
+Line 5663 
 sub _tree_construction_main ($) {
      ## "in body" insertion mode
      if ($token->{type} == START_TAG_TOKEN) {
        if ($token->{tag_name} eq 'script') {
+         !!!cp ('t332');
          ## NOTE: This is an "as if in head" code clone
-         $script_start_tag->($insert);
+         $script_start_tag->();
          redo B;
        } elsif ($token->{tag_name} eq 'style') {
+         !!!cp ('t333');
          ## NOTE: This is an "as if in head" code clone
-         $parse_rcdata->(CDATA_CONTENT_MODEL, $insert);
+         $parse_rcdata->(CDATA_CONTENT_MODEL);
          redo B;
        } elsif ({
                  base => 1, link => 1,
                 }->{$token->{tag_name}}) {
+         !!!cp ('t334');
          ## NOTE: This is an "as if in head" code clone, only "-t" differs
-         !!!insert-element-t ($token->{tag_name}, $token->{attributes});
+         !!!insert-element-t ($token->{tag_name}, $token->{attributes}, $token);
          pop @{$self->{open_elements}}; ## ISSUE: This step is missing in the spec.
          !!!next-token;
          redo B;
        } elsif ($token->{tag_name} eq 'meta') {
          ## NOTE: This is an "as if in head" code clone, only "-t" differs
-         !!!insert-element-t ($token->{tag_name}, $token->{attributes});
+         !!!insert-element-t ($token->{tag_name}, $token->{attributes}, $token);
          my $meta_el = pop @{$self->{open_elements}}; ## ISSUE: This step is missing in the spec.
          unless ($self->{confident}) {
            if ($token->{attributes}->{charset}) { ## TODO: And if supported
+             !!!cp ('t335');
              $self->{change_encoding}
-                 ->($self, $token->{attributes}->{charset}->{value});
+                 ->($self, $token->{attributes}->{charset}->{value}, $token);
              $meta_el->[0]->get_attribute_node_ns (undef, 'charset')
                  ->set_user_data (manakai_has_reference =>
-Line 4636 
 sub _tree_construction_main ($) {
+Line 5703 
 sub _tree_construction_main ($) {
                      [\x09-\x0D\x20]*=
                      [\x09-\x0D\x20]*(?>"([^"]*)"|'([^']*)'|
                      ([^"'\x09-\x0D\x20][^\x09-\x0D\x20]*))/x) {
+               !!!cp ('t336');
                $self->{change_encoding}
-                   ->($self, defined $1 ? $1 : defined $2 ? $2 : $3);
+                   ->($self, defined $1 ? $1 : defined $2 ? $2 : $3, $token);
                $meta_el->[0]->get_attribute_node_ns (undef, 'content')
                    ->set_user_data (manakai_has_reference =>
                                         $token->{attributes}->{content}
-Line 4646 
 sub _tree_construction_main ($) {
+Line 5714 
 sub _tree_construction_main ($) {
            }
          } else {
            if ($token->{attributes}->{charset}) {
+             !!!cp ('t337');
              $meta_el->[0]->get_attribute_node_ns (undef, 'charset')
                  ->set_user_data (manakai_has_reference =>
                                       $token->{attributes}->{charset}
                                           ->{has_reference});
            }
            if ($token->{attributes}->{content}) {
+             !!!cp ('t338');
              $meta_el->[0]->get_attribute_node_ns (undef, 'content')
                  ->set_user_data (manakai_has_reference =>
                                       $token->{attributes}->{content}
-Line 4662 
 sub _tree_construction_main ($) {
+Line 5732 
 sub _tree_construction_main ($) {
          !!!next-token;
          redo B;
        } elsif ($token->{tag_name} eq 'title') {
-         !!!parse-error (type => 'in body:title');
+         !!!cp ('t341');
          ## NOTE: This is an "as if in head" code clone
-         $parse_rcdata->(RCDATA_CONTENT_MODEL, sub {
+         $parse_rcdata->(RCDATA_CONTENT_MODEL);
-           if (defined $self->{head_element}) {
-             $self->{head_element}->append_child ($_[0]);
-           } else {
-             $insert->($_[0]);
-           }
-         });
          redo B;
        } elsif ($token->{tag_name} eq 'body') {
-         !!!parse-error (type => 'in body:body');
+         !!!parse-error (type => 'in body:body', token => $token);
          if (@{$self->{open_elements}} == 1 or
-             $self->{open_elements}->[1]->[1] ne 'body') {
+             not ($self->{open_elements}->[1]->[1] & BODY_EL)) {
+           !!!cp ('t342');
            ## Ignore the token
          } else {
            my $body_el = $self->{open_elements}->[1]->[0];
            for my $attr_name (keys %{$token->{attributes}}) {
              unless ($body_el->has_attribute_ns (undef, $attr_name)) {
+               !!!cp ('t343');
                $body_el->set_attribute_ns
                  (undef, [undef, $attr_name],
                   $token->{attributes}->{$attr_name}->{value});
-Line 4692 
 sub _tree_construction_main ($) {
+Line 5758 
 sub _tree_construction_main ($) {
          redo B;
        } elsif ({
                  address => 1, blockquote => 1, center => 1, dir => 1,
-                 div => 1, dl => 1, fieldset => 1, listing => 1,
+                 div => 1, dl => 1, fieldset => 1,
+                 h1 => 1, h2 => 1, h3 => 1, h4 => 1, h5 => 1, h6 => 1,
                  menu => 1, ol => 1, p => 1, ul => 1,
-                 pre => 1,
+                 pre => 1, listing => 1,
+                 form => 1,
+                 table => 1,
+                 hr => 1,
                 }->{$token->{tag_name}}) {
+         if ($token->{tag_name} eq 'form' and defined $self->{form_element}) {
+           !!!cp ('t350');
+           !!!parse-error (type => 'in form:form', token => $token);
+           ## Ignore the token
+           !!!next-token;
+           redo B;
+         }
          ## has a p element in scope
          INSCOPE: for (reverse @{$self->{open_elements}}) {
-           if ($_->[1] eq 'p') {
+           if ($_->[1] & P_EL) {
+             !!!cp ('t344');
              !!!back-token;
-             $token = {type => END_TAG_TOKEN, tag_name => 'p'};
+             $token = {type => END_TAG_TOKEN, tag_name => 'p',
+                       line => $token->{line}, column => $token->{column}};
              redo B;
-           } elsif ({
+           } elsif ($_->[1] & SCOPING_EL) {
-                     table => 1, caption => 1, td => 1, th => 1,
+             !!!cp ('t345');
-                     button => 1, marquee => 1, object => 1, html => 1,
-                    }->{$_->[1]}) {
              last INSCOPE;
            }
          } # INSCOPE
-         !!!insert-element-t ($token->{tag_name}, $token->{attributes});
+         !!!insert-element-t ($token->{tag_name}, $token->{attributes}, $token);
-         if ($token->{tag_name} eq 'pre') {
+         if ($token->{tag_name} eq 'pre' or $token->{tag_name} eq 'listing') {
            !!!next-token;
            if ($token->{type} == CHARACTER_TOKEN) {
              $token->{data} =~ s/^\x0A//;
              unless (length $token->{data}) {
+               !!!cp ('t346');
                !!!next-token;
+             } else {
+               !!!cp ('t349');
              }
+           } else {
+             !!!cp ('t348');
            }
-         } else {
+         } elsif ($token->{tag_name} eq 'form') {
+           !!!cp ('t347.1');
+           $self->{form_element} = $self->{open_elements}->[-1]->[0];
            !!!next-token;
-         }
+         } elsif ($token->{tag_name} eq 'table') {
-         redo B;
+           !!!cp ('t382');
-       } elsif ($token->{tag_name} eq 'form') {
+           push @{$open_tables}, [$self->{open_elements}->[-1]->[0]];
-         if (defined $self->{form_element}) {
-           !!!parse-error (type => 'in form:form');
+           $self->{insertion_mode} = IN_TABLE_IM;
-           ## Ignore the token
+           !!!next-token;
+         } elsif ($token->{tag_name} eq 'hr') {
+           !!!cp ('t386');
+           pop @{$self->{open_elements}};
            !!!next-token;
-           redo B;
          } else {
-           ## has a p element in scope
+           !!!cp ('t347');
-           INSCOPE: for (reverse @{$self->{open_elements}}) {
-             if ($_->[1] eq 'p') {
-               !!!back-token;
-               $token = {type => END_TAG_TOKEN, tag_name => 'p'};
-               redo B;
-             } elsif ({
-                       table => 1, caption => 1, td => 1, th => 1,
-                       button => 1, marquee => 1, object => 1, html => 1,
-                      }->{$_->[1]}) {
-               last INSCOPE;
-             }
-           } # INSCOPE
-           !!!insert-element-t ($token->{tag_name}, $token->{attributes});
-           $self->{form_element} = $self->{open_elements}->[-1]->[0];
            !!!next-token;
-           redo B;
          }
-       } elsif ($token->{tag_name} eq 'li') {
-         ## has a p element in scope
-         INSCOPE: for (reverse @{$self->{open_elements}}) {
-           if ($_->[1] eq 'p') {
-             !!!back-token;
-             $token = {type => END_TAG_TOKEN, tag_name => 'p'};
-             redo B;
-           } elsif ({
-                     table => 1, caption => 1, td => 1, th => 1,
-                     button => 1, marquee => 1, object => 1, html => 1,
-                    }->{$_->[1]}) {
-             last INSCOPE;
-           }
-         } # INSCOPE
-         ## Step 1
-         my $i = -1;
-         my $node = $self->{open_elements}->[$i];
-         LI: {
-           ## Step 2
-           if ($node->[1] eq 'li') {
-             if ($i != -1) {
-               !!!parse-error (type => 'end tag missing:'.
-                               $self->{open_elements}->[-1]->[1]);
-             }
-             splice @{$self->{open_elements}}, $i;
-             last LI;
-           }
-           ## Step 3
-           if (not $formatting_category->{$node->[1]} and
-               #not $phrasing_category->{$node->[1]} and
-               ($special_category->{$node->[1]} or
-                $scoping_category->{$node->[1]}) and
-               $node->[1] ne 'address' and $node->[1] ne 'div') {
-             last LI;
-           }
-           ## Step 4
-           $i--;
-           $node = $self->{open_elements}->[$i];
-           redo LI;
-         } # LI
-         !!!insert-element-t ($token->{tag_name}, $token->{attributes});
-         !!!next-token;
          redo B;
-       } elsif ($token->{tag_name} eq 'dd' or $token->{tag_name} eq 'dt') {
+       } elsif ({li => 1, dt => 1, dd => 1}->{$token->{tag_name}}) {
          ## has a p element in scope
          INSCOPE: for (reverse @{$self->{open_elements}}) {
-           if ($_->[1] eq 'p') {
+           if ($_->[1] & P_EL) {
+             !!!cp ('t353');
              !!!back-token;
-             $token = {type => END_TAG_TOKEN, tag_name => 'p'};
+             $token = {type => END_TAG_TOKEN, tag_name => 'p',
+                       line => $token->{line}, column => $token->{column}};
              redo B;
-           } elsif ({
+           } elsif ($_->[1] & SCOPING_EL) {
-                     table => 1, caption => 1, td => 1, th => 1,
+             !!!cp ('t354');
-                     button => 1, marquee => 1, object => 1, html => 1,
-                    }->{$_->[1]}) {
              last INSCOPE;
            }
          } # INSCOPE
-Line 4814 
 sub _tree_construction_main ($) {
+Line 5842 
 sub _tree_construction_main ($) {
          ## Step 1
          my $i = -1;
          my $node = $self->{open_elements}->[$i];
+         my $li_or_dtdd = {li => {li => 1},
+                           dt => {dt => 1, dd => 1},
+                           dd => {dt => 1, dd => 1}}->{$token->{tag_name}};
          LI: {
            ## Step 2
-           if ($node->[1] eq 'dt' or $node->[1] eq 'dd') {
+           if ($li_or_dtdd->{$node->[0]->manakai_local_name}) {
              if ($i != -1) {
-               !!!parse-error (type => 'end tag missing:'.
+               !!!cp ('t355');
-                               $self->{open_elements}->[-1]->[1]);
+               !!!parse-error (type => 'not closed',
+                               value => $self->{open_elements}->[-1]->[0]
+                                   ->manakai_local_name,
+                               token => $token);
+             } else {
+               !!!cp ('t356');
              }
              splice @{$self->{open_elements}}, $i;
              last LI;
+           } else {
+             !!!cp ('t357');
            }
            ## Step 3
-           if (not $formatting_category->{$node->[1]} and
+           if (not ($node->[1] & FORMATTING_EL) and
                #not $phrasing_category->{$node->[1]} and
-               ($special_category->{$node->[1]} or
+               ($node->[1] & SPECIAL_EL or
-                $scoping_category->{$node->[1]}) and
+                $node->[1] & SCOPING_EL) and
-               $node->[1] ne 'address' and $node->[1] ne 'div') {
+               not ($node->[1] & ADDRESS_EL) and
+               not ($node->[1] & DIV_EL)) {
+             !!!cp ('t358');
              last LI;
            }
+           !!!cp ('t359');
            ## Step 4
            $i--;
            $node = $self->{open_elements}->[$i];
            redo LI;
          } # LI
-         !!!insert-element-t ($token->{tag_name}, $token->{attributes});
+         !!!insert-element-t ($token->{tag_name}, $token->{attributes}, $token);
          !!!next-token;
          redo B;
        } elsif ($token->{tag_name} eq 'plaintext') {
          ## has a p element in scope
          INSCOPE: for (reverse @{$self->{open_elements}}) {
-           if ($_->[1] eq 'p') {
+           if ($_->[1] & P_EL) {
+             !!!cp ('t367');
              !!!back-token;
-             $token = {type => END_TAG_TOKEN, tag_name => 'p'};
+             $token = {type => END_TAG_TOKEN, tag_name => 'p',
+                       line => $token->{line}, column => $token->{column}};
              redo B;
-           } elsif ({
+           } elsif ($_->[1] & SCOPING_EL) {
-                     table => 1, caption => 1, td => 1, th => 1,
+             !!!cp ('t368');
-                     button => 1, marquee => 1, object => 1, html => 1,
-                    }->{$_->[1]}) {
              last INSCOPE;
            }
          } # INSCOPE
-         !!!insert-element-t ($token->{tag_name}, $token->{attributes});
+         !!!insert-element-t ($token->{tag_name}, $token->{attributes}, $token);
          $self->{content_model} = PLAINTEXT_CONTENT_MODEL;
          !!!next-token;
          redo B;
-       } elsif ({
-                 h1 => 1, h2 => 1, h3 => 1, h4 => 1, h5 => 1, h6 => 1,
-                }->{$token->{tag_name}}) {
-         ## has a p element in scope
-         INSCOPE: for (reverse 0..$#{$self->{open_elements}}) {
-           my $node = $self->{open_elements}->[$_];
-           if ($node->[1] eq 'p') {
-             !!!back-token;
-             $token = {type => END_TAG_TOKEN, tag_name => 'p'};
-             redo B;
-           } elsif ({
-                     table => 1, caption => 1, td => 1, th => 1,
-                     button => 1, marquee => 1, object => 1, html => 1,
-                    }->{$node->[1]}) {
-             last INSCOPE;
-           }
-         } # INSCOPE
-         ## NOTE: See <http://html5.org/tools/web-apps-tracker?from=925&to=926>
-         ## has an element in scope
-         #my $i;
-         #INSCOPE: for (reverse 0..$#{$self->{open_elements}}) {
-         #  my $node = $self->{open_elements}->[$_];
-         #  if ({
-         #       h1 => 1, h2 => 1, h3 => 1, h4 => 1, h5 => 1, h6 => 1,
-         #      }->{$node->[1]}) {
-         #    $i = $_;
-         #    last INSCOPE;
-         #  } elsif ({
-         #            table => 1, caption => 1, td => 1, th => 1,
-         #            button => 1, marquee => 1, object => 1, html => 1,
-         #           }->{$node->[1]}) {
-         #    last INSCOPE;
-         #  }
-         #} # INSCOPE
-         #
-         #if (defined $i) {
-         #  !!! parse-error (type => 'in hn:hn');
-         #  splice @{$self->{open_elements}}, $i;
-         #}
-         !!!insert-element-t ($token->{tag_name}, $token->{attributes});
-         !!!next-token;
-         redo B;
        } elsif ($token->{tag_name} eq 'a') {
          AFE: for my $i (reverse 0..$#$active_formatting_elements) {
            my $node = $active_formatting_elements->[$i];
-           if ($node->[1] eq 'a') {
+           if ($node->[1] & A_EL) {
-             !!!parse-error (type => 'in a:a');
+             !!!cp ('t371');
+             !!!parse-error (type => 'in a:a', token => $token);
              !!!back-token;
-             $token = {type => END_TAG_TOKEN, tag_name => 'a'};
+             $token = {type => END_TAG_TOKEN, tag_name => 'a',
-             $formatting_end_tag->($token->{tag_name});
+                       line => $token->{line}, column => $token->{column}};
+             $formatting_end_tag->($token);
              AFE2: for (reverse 0..$#$active_formatting_elements) {
                if ($active_formatting_elements->[$_]->[0] eq $node->[0]) {
+                 !!!cp ('t372');
                  splice @$active_formatting_elements, $_, 1;
                  last AFE2;
                }
              } # AFE2
              OE: for (reverse 0..$#{$self->{open_elements}}) {
                if ($self->{open_elements}->[$_]->[0] eq $node->[0]) {
+                 !!!cp ('t373');
                  splice @{$self->{open_elements}}, $_, 1;
                  last OE;
                }
              } # OE
              last AFE;
            } elsif ($node->[0] eq '#marker') {
+             !!!cp ('t374');
              last AFE;
            }
          } # AFE
          $reconstruct_active_formatting_elements->($insert_to_current);
-         !!!insert-element-t ($token->{tag_name}, $token->{attributes});
+         !!!insert-element-t ($token->{tag_name}, $token->{attributes}, $token);
          push @$active_formatting_elements, $self->{open_elements}->[-1];
          !!!next-token;
          redo B;
-       } elsif ({
-                 b => 1, big => 1, em => 1, font => 1, i => 1,
-                 s => 1, small => 1, strile => 1,
-                 strong => 1, tt => 1, u => 1,
-                }->{$token->{tag_name}}) {
-         $reconstruct_active_formatting_elements->($insert_to_current);
-         !!!insert-element-t ($token->{tag_name}, $token->{attributes});
-         push @$active_formatting_elements, $self->{open_elements}->[-1];
-         !!!next-token;
-         redo B;
        } elsif ($token->{tag_name} eq 'nobr') {
          $reconstruct_active_formatting_elements->($insert_to_current);
          ## has a |nobr| element in scope
          INSCOPE: for (reverse 0..$#{$self->{open_elements}}) {
            my $node = $self->{open_elements}->[$_];
-           if ($node->[1] eq 'nobr') {
+           if ($node->[1] & NOBR_EL) {
-             !!!parse-error (type => 'in nobr:nobr');
+             !!!cp ('t376');
+             !!!parse-error (type => 'in nobr:nobr', token => $token);
              !!!back-token;
-             $token = {type => END_TAG_TOKEN, tag_name => 'nobr'};
+             $token = {type => END_TAG_TOKEN, tag_name => 'nobr',
+                       line => $token->{line}, column => $token->{column}};
              redo B;
-           } elsif ({
+           } elsif ($node->[1] & SCOPING_EL) {
-                     table => 1, caption => 1, td => 1, th => 1,
+             !!!cp ('t377');
-                     button => 1, marquee => 1, object => 1, html => 1,
-                    }->{$node->[1]}) {
              last INSCOPE;
            }
          } # INSCOPE
-         !!!insert-element-t ($token->{tag_name}, $token->{attributes});
+         !!!insert-element-t ($token->{tag_name}, $token->{attributes}, $token);
          push @$active_formatting_elements, $self->{open_elements}->[-1];
          !!!next-token;
-Line 4984 
 sub _tree_construction_main ($) {
+Line 5973 
 sub _tree_construction_main ($) {
          ## has a button element in scope
          INSCOPE: for (reverse 0..$#{$self->{open_elements}}) {
            my $node = $self->{open_elements}->[$_];
-           if ($node->[1] eq 'button') {
+           if ($node->[1] & BUTTON_EL) {
-             !!!parse-error (type => 'in button:button');
+             !!!cp ('t378');
+             !!!parse-error (type => 'in button:button', token => $token);
              !!!back-token;
-             $token = {type => END_TAG_TOKEN, tag_name => 'button'};
+             $token = {type => END_TAG_TOKEN, tag_name => 'button',
+                       line => $token->{line}, column => $token->{column}};
              redo B;
-           } elsif ({
+           } elsif ($node->[1] & SCOPING_EL) {
-                     table => 1, caption => 1, td => 1, th => 1,
+             !!!cp ('t379');
-                     button => 1, marquee => 1, object => 1, html => 1,
-                    }->{$node->[1]}) {
              last INSCOPE;
            }
          } # INSCOPE
          $reconstruct_active_formatting_elements->($insert_to_current);
-         !!!insert-element-t ($token->{tag_name}, $token->{attributes});
+         !!!insert-element-t ($token->{tag_name}, $token->{attributes}, $token);
-         push @$active_formatting_elements, ['#marker', ''];
+         ## TODO: associate with $self->{form_element} if defined
-         !!!next-token;
-         redo B;
-       } elsif ($token->{tag_name} eq 'marquee' or
-                $token->{tag_name} eq 'object') {
-         $reconstruct_active_formatting_elements->($insert_to_current);
-         !!!insert-element-t ($token->{tag_name}, $token->{attributes});
          push @$active_formatting_elements, ['#marker', ''];
-         !!!next-token;
-         redo B;
-       } elsif ($token->{tag_name} eq 'xmp') {
-         $reconstruct_active_formatting_elements->($insert_to_current);
-         $parse_rcdata->(CDATA_CONTENT_MODEL, $insert);
-         redo B;
-       } elsif ($token->{tag_name} eq 'table') {
-         ## has a p element in scope
-         INSCOPE: for (reverse @{$self->{open_elements}}) {
-           if ($_->[1] eq 'p') {
-             !!!back-token;
-             $token = {type => END_TAG_TOKEN, tag_name => 'p'};
-             redo B;
-           } elsif ({
-                     table => 1, caption => 1, td => 1, th => 1,
-                     button => 1, marquee => 1, object => 1, html => 1,
-                    }->{$_->[1]}) {
-             last INSCOPE;
-           }
-         } # INSCOPE
-         !!!insert-element-t ($token->{tag_name}, $token->{attributes});
-         $self->{insertion_mode} = IN_TABLE_IM;
          !!!next-token;
          redo B;
        } elsif ({
-                 area => 1, basefont => 1, bgsound => 1, br => 1,
+                 xmp => 1,
-                 embed => 1, img => 1, param => 1, spacer => 1, wbr => 1,
+                 iframe => 1,
-                 image => 1,
+                 noembed => 1,
+                 noframes => 1,
+                 noscript => 0, ## TODO: 1 if scripting is enabled
                 }->{$token->{tag_name}}) {
-         if ($token->{tag_name} eq 'image') {
+         if ($token->{tag_name} eq 'xmp') {
-           !!!parse-error (type => 'image');
+           !!!cp ('t381');
-           $token->{tag_name} = 'img';
+           $reconstruct_active_formatting_elements->($insert_to_current);
+         } else {
+           !!!cp ('t399');
          }
+         ## NOTE: There is an "as if in body" code clone.
-         ## NOTE: There is an "as if <br>" code clone.
+         $parse_rcdata->(CDATA_CONTENT_MODEL);
-         $reconstruct_active_formatting_elements->($insert_to_current);
-         !!!insert-element-t ($token->{tag_name}, $token->{attributes});
-         pop @{$self->{open_elements}};
-         !!!next-token;
-         redo B;
-       } elsif ($token->{tag_name} eq 'hr') {
-         ## has a p element in scope
-         INSCOPE: for (reverse @{$self->{open_elements}}) {
-           if ($_->[1] eq 'p') {
-             !!!back-token;
-             $token = {type => END_TAG_TOKEN, tag_name => 'p'};
-             redo B;
-           } elsif ({
-                     table => 1, caption => 1, td => 1, th => 1,
-                     button => 1, marquee => 1, object => 1, html => 1,
-                    }->{$_->[1]}) {
-             last INSCOPE;
-           }
-         } # INSCOPE
-         !!!insert-element-t ($token->{tag_name}, $token->{attributes});
-         pop @{$self->{open_elements}};
-         !!!next-token;
-         redo B;
-       } elsif ($token->{tag_name} eq 'input') {
-         $reconstruct_active_formatting_elements->($insert_to_current);
-         !!!insert-element-t ($token->{tag_name}, $token->{attributes});
-         ## TODO: associate with $self->{form_element} if defined
-         pop @{$self->{open_elements}};
-         !!!next-token;
          redo B;
        } elsif ($token->{tag_name} eq 'isindex') {
-         !!!parse-error (type => 'isindex');
+         !!!parse-error (type => 'isindex', token => $token);
          if (defined $self->{form_element}) {
+           !!!cp ('t389');
            ## Ignore the token
            !!!next-token;
            redo B;
-Line 5102 
 sub _tree_construction_main ($) {
+Line 6030 
 sub _tree_construction_main ($) {
            delete $at->{prompt};
            my @tokens = (
                          {type => START_TAG_TOKEN, tag_name => 'form',
-                          attributes => $form_attrs},
+                          attributes => $form_attrs,
-                         {type => START_TAG_TOKEN, tag_name => 'hr'},
+                          line => $token->{line}, column => $token->{column}},
-                         {type => START_TAG_TOKEN, tag_name => 'p'},
+                         {type => START_TAG_TOKEN, tag_name => 'hr',
-                         {type => START_TAG_TOKEN, tag_name => 'label'},
+                          line => $token->{line}, column => $token->{column}},
+                         {type => START_TAG_TOKEN, tag_name => 'p',
+                          line => $token->{line}, column => $token->{column}},
+                         {type => START_TAG_TOKEN, tag_name => 'label',
+                          line => $token->{line}, column => $token->{column}},
                         );
            if ($prompt_attr) {
-             push @tokens, {type => CHARACTER_TOKEN, data => $prompt_attr->{value}};
+             !!!cp ('t390');
+             push @tokens, {type => CHARACTER_TOKEN, data => $prompt_attr->{value},
+                            #line => $token->{line}, column => $token->{column},
+                           };
            } else {
+             !!!cp ('t391');
              push @tokens, {type => CHARACTER_TOKEN,
-                            data => 'This is a searchable index. Insert your search keywords here: '}; # SHOULD
+                            data => 'This is a searchable index. Insert your search keywords here: ',
+                            #line => $token->{line}, column => $token->{column},
+                           }; # SHOULD
              ## TODO: make this configurable
            }
            push @tokens,
-                         {type => START_TAG_TOKEN, tag_name => 'input', attributes => $at},
+                         {type => START_TAG_TOKEN, tag_name => 'input', attributes => $at,
+                          line => $token->{line}, column => $token->{column}},
                          #{type => CHARACTER_TOKEN, data => ''}, # SHOULD
-                         {type => END_TAG_TOKEN, tag_name => 'label'},
+                         {type => END_TAG_TOKEN, tag_name => 'label',
-                         {type => END_TAG_TOKEN, tag_name => 'p'},
+                          line => $token->{line}, column => $token->{column}},
-                         {type => START_TAG_TOKEN, tag_name => 'hr'},
+                         {type => END_TAG_TOKEN, tag_name => 'p',
-                         {type => END_TAG_TOKEN, tag_name => 'form'};
+                          line => $token->{line}, column => $token->{column}},
+                         {type => START_TAG_TOKEN, tag_name => 'hr',
+                          line => $token->{line}, column => $token->{column}},
+                         {type => END_TAG_TOKEN, tag_name => 'form',
+                          line => $token->{line}, column => $token->{column}};
            $token = shift @tokens;
            !!!back-token (@tokens);
            redo B;
-Line 5128 
 sub _tree_construction_main ($) {
+Line 6071 
 sub _tree_construction_main ($) {
        } elsif ($token->{tag_name} eq 'textarea') {
          my $tag_name = $token->{tag_name};
          my $el;
-         !!!create-element ($el, $token->{tag_name}, $token->{attributes});
+         !!!create-element ($el, $token->{tag_name}, $token->{attributes}, $token);
          ## TODO: $self->{form_element} if defined
          $self->{content_model} = RCDATA_CONTENT_MODEL;
-Line 5141 
 sub _tree_construction_main ($) {
+Line 6084 
 sub _tree_construction_main ($) {
          if ($token->{type} == CHARACTER_TOKEN) {
            $token->{data} =~ s/^\x0A//;
            unless (length $token->{data}) {
+             !!!cp ('t392');
              !!!next-token;
+           } else {
+             !!!cp ('t393');
            }
+         } else {
+           !!!cp ('t394');
          }
          while ($token->{type} == CHARACTER_TOKEN) {
+           !!!cp ('t395');
            $text .= $token->{data};
            !!!next-token;
          }
          if (length $text) {
+           !!!cp ('t396');
            $el->manakai_append_text ($text);
          }
-Line 5156 
 sub _tree_construction_main ($) {
+Line 6106 
 sub _tree_construction_main ($) {
          if ($token->{type} == END_TAG_TOKEN and
              $token->{tag_name} eq $tag_name) {
+           !!!cp ('t397');
            ## Ignore the token
          } else {
-           !!!parse-error (type => 'in RCDATA:#'.$token->{type});
+           !!!cp ('t398');
+           !!!parse-error (type => 'in RCDATA:#'.$token->{type}, token => $token);
          }
          !!!next-token;
          redo B;
        } elsif ({
-                 iframe => 1,
-                 noembed => 1,
-                 noframes => 1,
-                 noscript => 0, ## TODO: 1 if scripting is enabled
-                }->{$token->{tag_name}}) {
-         ## NOTE: There is an "as if in body" code clone.
-         $parse_rcdata->(CDATA_CONTENT_MODEL, $insert);
-         redo B;
-       } elsif ($token->{tag_name} eq 'select') {
-         $reconstruct_active_formatting_elements->($insert_to_current);
-         !!!insert-element-t ($token->{tag_name}, $token->{attributes});
-         $self->{insertion_mode} = IN_SELECT_IM;
-         !!!next-token;
-         redo B;
-       } elsif ({
                  caption => 1, col => 1, colgroup => 1, frame => 1,
                  frameset => 1, head => 1, option => 1, optgroup => 1,
                  tbody => 1, td => 1, tfoot => 1, th => 1,
                  thead => 1, tr => 1,
                 }->{$token->{tag_name}}) {
-         !!!parse-error (type => 'in body:'.$token->{tag_name});
+         !!!cp ('t401');
+         !!!parse-error (type => 'in body:'.$token->{tag_name}, token => $token);
          ## Ignore the token
          !!!next-token;
          redo B;
          ## ISSUE: An issue on HTML5 new elements in the spec.
        } else {
+         if ($token->{tag_name} eq 'image') {
+           !!!cp ('t384');
+           !!!parse-error (type => 'image', token => $token);
+           $token->{tag_name} = 'img';
+         } else {
+           !!!cp ('t385');
+         }
+         ## NOTE: There is an "as if <br>" code clone.
          $reconstruct_active_formatting_elements->($insert_to_current);
-         !!!insert-element-t ($token->{tag_name}, $token->{attributes});
+         !!!insert-element-t ($token->{tag_name}, $token->{attributes}, $token);
+         if ({
+              applet => 1, marquee => 1, object => 1,
+             }->{$token->{tag_name}}) {
+           !!!cp ('t380');
+           push @$active_formatting_elements, ['#marker', ''];
+         } elsif ({
+                   b => 1, big => 1, em => 1, font => 1, i => 1,
+                   s => 1, small => 1, strile => 1,
+                   strong => 1, tt => 1, u => 1,
+                  }->{$token->{tag_name}}) {
+           !!!cp ('t375');
+           push @$active_formatting_elements, $self->{open_elements}->[-1];
+         } elsif ($token->{tag_name} eq 'input') {
+           !!!cp ('t388');
+           ## TODO: associate with $self->{form_element} if defined
+           pop @{$self->{open_elements}};
+         } elsif ({
+                   area => 1, basefont => 1, bgsound => 1, br => 1,
+                   embed => 1, img => 1, param => 1, spacer => 1, wbr => 1,
+                   #image => 1,
+                  }->{$token->{tag_name}}) {
+           !!!cp ('t388.1');
+           pop @{$self->{open_elements}};
+         } elsif ($token->{tag_name} eq 'select') {
+           ## TODO: associate with $self->{form_element} if defined
+           if ($self->{insertion_mode} & TABLE_IMS or
+               $self->{insertion_mode} & BODY_TABLE_IMS or
+               $self->{insertion_mode} == IN_COLUMN_GROUP_IM) {
+             !!!cp ('t400.1');
+             $self->{insertion_mode} = IN_SELECT_IN_TABLE_IM;
+           } else {
+             !!!cp ('t400.2');
+             $self->{insertion_mode} = IN_SELECT_IM;
+           }
+         } else {
+           !!!cp ('t402');
+         }
          !!!next-token;
          redo B;
        }
      } elsif ($token->{type} == END_TAG_TOKEN) {
        if ($token->{tag_name} eq 'body') {
-         if (@{$self->{open_elements}} > 1 and
+         ## has a |body| element in scope
-             $self->{open_elements}->[1]->[1] eq 'body') {
+         my $i;
-           for (@{$self->{open_elements}}) {
+         INSCOPE: {
-             unless ({
+           for (reverse @{$self->{open_elements}}) {
-                        dd => 1, dt => 1, li => 1, p => 1, td => 1,
+             if ($_->[1] & BODY_EL) {
-                        th => 1, tr => 1, body => 1, html => 1,
+               !!!cp ('t405');
-                      tbody => 1, tfoot => 1, thead => 1,
+               $i = $_;
-                     }->{$_->[1]}) {
+               last INSCOPE;
-               !!!parse-error (type => 'not closed:'.$_->[1]);
+             } elsif ($_->[1] & SCOPING_EL) {
+               !!!cp ('t405.1');
+               last;
              }
            }
-           $self->{insertion_mode} = AFTER_BODY_IM;
+           !!!parse-error (type => 'start tag not allowed',
-           !!!next-token;
+                           value => $token->{tag_name}, token => $token);
-           redo B;
+           ## NOTE: Ignore the token.
-         } else {
-           !!!parse-error (type => 'unmatched end tag:'.$token->{tag_name});
-           ## Ignore the token
            !!!next-token;
            redo B;
+         } # INSCOPE
+         for (@{$self->{open_elements}}) {
+           unless ($_->[1] & ALL_END_TAG_OPTIONAL_EL) {
+             !!!cp ('t403');
+             !!!parse-error (type => 'not closed',
+                             value => $_->[0]->manakai_local_name,
+                             token => $token);
+             last;
+           } else {
+             !!!cp ('t404');
+           }
          }
+         $self->{insertion_mode} = AFTER_BODY_IM;
+         !!!next-token;
+         redo B;
        } elsif ($token->{tag_name} eq 'html') {
-         if (@{$self->{open_elements}} > 1 and $self->{open_elements}->[1]->[1] eq 'body') {
+         ## TODO: Update this code.  It seems that the code below is not
+         ## up-to-date, though it has same effect as speced.
+         if (@{$self->{open_elements}} > 1 and
+             $self->{open_elements}->[1]->[1] & BODY_EL) {
            ## ISSUE: There is an issue in the spec.
-           if ($self->{open_elements}->[-1]->[1] ne 'body') {
+           unless ($self->{open_elements}->[-1]->[1] & BODY_EL) {
-             !!!parse-error (type => 'not closed:'.$self->{open_elements}->[1]->[1]);
+             !!!cp ('t406');
+             !!!parse-error (type => 'not closed',
+                             value => $self->{open_elements}->[1]->[0]
+                                 ->manakai_local_name,
+                             token => $token);
+           } else {
+             !!!cp ('t407');
            }
            $self->{insertion_mode} = AFTER_BODY_IM;
            ## reprocess
            redo B;
          } else {
-           !!!parse-error (type => 'unmatched end tag:'.$token->{tag_name});
+           !!!cp ('t408');
+           !!!parse-error (type => 'unmatched end tag:'.$token->{tag_name}, token => $token);
            ## Ignore the token
            !!!next-token;
            redo B;
-Line 5241 
 sub _tree_construction_main ($) {
+Line 6250 
 sub _tree_construction_main ($) {
                  address => 1, blockquote => 1, center => 1, dir => 1,
                  div => 1, dl => 1, fieldset => 1, listing => 1,
                  menu => 1, ol => 1, pre => 1, ul => 1,
-                 p => 1,
                  dd => 1, dt => 1, li => 1,
-                 button => 1, marquee => 1, object => 1,
+                 applet => 1, button => 1, marquee => 1, object => 1,
                 }->{$token->{tag_name}}) {
          ## has an element in scope
          my $i;
          INSCOPE: for (reverse 0..$#{$self->{open_elements}}) {
            my $node = $self->{open_elements}->[$_];
-           if ($node->[1] eq $token->{tag_name}) {
+           if ($node->[0]->manakai_local_name eq $token->{tag_name}) {
-             ## generate implied end tags
+             !!!cp ('t410');
-             if ({
-                  dd => ($token->{tag_name} ne 'dd'),
-                  dt => ($token->{tag_name} ne 'dt'),
-                  li => ($token->{tag_name} ne 'li'),
-                  p => ($token->{tag_name} ne 'p'),
-                  td => 1, th => 1, tr => 1,
-                  tbody => 1, tfoot=> 1, thead => 1,
-                 }->{$self->{open_elements}->[-1]->[1]}) {
-               !!!back-token;
-               $token = {type => END_TAG_TOKEN,
-                         tag_name => $self->{open_elements}->[-1]->[1]}; # MUST
-               redo B;
-             }
              $i = $_;
-             last INSCOPE unless $token->{tag_name} eq 'p';
+             last INSCOPE;
-           } elsif ({
+           } elsif ($node->[1] & SCOPING_EL) {
-                     table => 1, caption => 1, td => 1, th => 1,
+             !!!cp ('t411');
-                     button => 1, marquee => 1, object => 1, html => 1,
-                    }->{$node->[1]}) {
              last INSCOPE;
            }
          } # INSCOPE
-         if ($self->{open_elements}->[-1]->[1] ne $token->{tag_name}) {
+         unless (defined $i) { # has an element in scope
-           if (defined $i) {
+           !!!cp ('t413');
-             !!!parse-error (type => 'not closed:'.$self->{open_elements}->[-1]->[1]);
+           !!!parse-error (type => 'unmatched end tag:'.$token->{tag_name}, token => $token);
+         } else {
+           ## Step 1. generate implied end tags
+           while ({
+                   dd => ($token->{tag_name} ne 'dd'),
+                   dt => ($token->{tag_name} ne 'dt'),
+                   li => ($token->{tag_name} ne 'li'),
+                   p => 1,
+                  }->{$self->{open_elements}->[-1]->[0]->manakai_local_name}) {
+             !!!cp ('t409');
+             pop @{$self->{open_elements}};
+           }
+           ## Step 2.
+           if ($self->{open_elements}->[-1]->[0]->manakai_local_name
+                   ne $token->{tag_name}) {
+             !!!cp ('t412');
+             !!!parse-error (type => 'not closed',
+                             value => $self->{open_elements}->[-1]->[0]
+                                 ->manakai_local_name,
+                             token => $token);
            } else {
-             !!!parse-error (type => 'unmatched end tag:'.$token->{tag_name});
+             !!!cp ('t414');
            }
-         }
+           ## Step 3.
-         if (defined $i) {
            splice @{$self->{open_elements}}, $i;
-         } elsif ($token->{tag_name} eq 'p') {
-           ## As if <p>, then reprocess the current token
+           ## Step 4.
-           my $el;
+           $clear_up_to_marker->()
-           !!!create-element ($el, 'p');
+               if {
-           $insert->($el);
+                 applet => 1, button => 1, marquee => 1, object => 1,
+               }->{$token->{tag_name}};
          }
-         $clear_up_to_marker->()
-           if {
-             button => 1, marquee => 1, object => 1,
-           }->{$token->{tag_name}};
          !!!next-token;
          redo B;
        } elsif ($token->{tag_name} eq 'form') {
+         undef $self->{form_element};
          ## has an element in scope
+         my $i;
          INSCOPE: for (reverse 0..$#{$self->{open_elements}}) {
            my $node = $self->{open_elements}->[$_];
-           if ($node->[1] eq $token->{tag_name}) {
+           if ($node->[1] & FORM_EL) {
-             ## generate implied end tags
+             !!!cp ('t418');
-             if ({
+             $i = $_;
-                  dd => 1, dt => 1, li => 1, p => 1,
-                  td => 1, th => 1, tr => 1,
-                  tbody => 1, tfoot=> 1, thead => 1,
-                 }->{$self->{open_elements}->[-1]->[1]}) {
-               !!!back-token;
-               $token = {type => END_TAG_TOKEN,
-                         tag_name => $self->{open_elements}->[-1]->[1]}; # MUST
-               redo B;
-             }
              last INSCOPE;
-           } elsif ({
+           } elsif ($node->[1] & SCOPING_EL) {
-                     table => 1, caption => 1, td => 1, th => 1,
+             !!!cp ('t419');
-                     button => 1, marquee => 1, object => 1, html => 1,
-                    }->{$node->[1]}) {
              last INSCOPE;
            }
          } # INSCOPE
-         if ($self->{open_elements}->[-1]->[1] eq $token->{tag_name}) {
+         unless (defined $i) { # has an element in scope
-           pop @{$self->{open_elements}};
+           !!!cp ('t421');
-         } else {
+           !!!parse-error (type => 'unmatched end tag:'.$token->{tag_name}, token => $token);
-           !!!parse-error (type => 'unmatched end tag:'.$token->{tag_name});
+         } else {
+           ## Step 1. generate implied end tags
+           while ($self->{open_elements}->[-1]->[1] & END_TAG_OPTIONAL_EL) {
+             !!!cp ('t417');
+             pop @{$self->{open_elements}};
+           }
+           ## Step 2.
+           if ($self->{open_elements}->[-1]->[0]->manakai_local_name
+                   ne $token->{tag_name}) {
+             !!!cp ('t417.1');
+             !!!parse-error (type => 'not closed',
+                             value => $self->{open_elements}->[-1]->[0]
+                                 ->manakai_local_name,
+                             token => $token);
+           } else {
+             !!!cp ('t420');
+           }
+           ## Step 3.
+           splice @{$self->{open_elements}}, $i;
          }
-         undef $self->{form_element};
          !!!next-token;
          redo B;
        } elsif ({
-Line 5337 
 sub _tree_construction_main ($) {
+Line 6357 
 sub _tree_construction_main ($) {
          my $i;
          INSCOPE: for (reverse 0..$#{$self->{open_elements}}) {
            my $node = $self->{open_elements}->[$_];
-           if ({
+           if ($node->[1] & HEADING_EL) {
-                h1 => 1, h2 => 1, h3 => 1, h4 => 1, h5 => 1, h6 => 1,
+             !!!cp ('t423');
-               }->{$node->[1]}) {
-             ## generate implied end tags
-             if ({
-                  dd => 1, dt => 1, li => 1, p => 1,
-                  td => 1, th => 1, tr => 1,
-                  tbody => 1, tfoot=> 1, thead => 1,
-                 }->{$self->{open_elements}->[-1]->[1]}) {
-               !!!back-token;
-               $token = {type => END_TAG_TOKEN,
-                         tag_name => $self->{open_elements}->[-1]->[1]}; # MUST
-               redo B;
-             }
              $i = $_;
              last INSCOPE;
-           } elsif ({
+           } elsif ($node->[1] & SCOPING_EL) {
-                     table => 1, caption => 1, td => 1, th => 1,
+             !!!cp ('t424');
-                     button => 1, marquee => 1, object => 1, html => 1,
-                    }->{$node->[1]}) {
              last INSCOPE;
            }
          } # INSCOPE
-         if ($self->{open_elements}->[-1]->[1] ne $token->{tag_name}) {
+         unless (defined $i) { # has an element in scope
-           !!!parse-error (type => 'unmatched end tag:'.$token->{tag_name});
+           !!!cp ('t425.1');
+           !!!parse-error (type => 'unmatched end tag:'.$token->{tag_name}, token => $token);
+         } else {
+           ## Step 1. generate implied end tags
+           while ($self->{open_elements}->[-1]->[1] & END_TAG_OPTIONAL_EL) {
+             !!!cp ('t422');
+             pop @{$self->{open_elements}};
+           }
+           ## Step 2.
+           if ($self->{open_elements}->[-1]->[0]->manakai_local_name
+                   ne $token->{tag_name}) {
+             !!!cp ('t425');
+             !!!parse-error (type => 'unmatched end tag:'.$token->{tag_name}, token => $token);
+           } else {
+             !!!cp ('t426');
+           }
+           ## Step 3.
+           splice @{$self->{open_elements}}, $i;
          }
-         splice @{$self->{open_elements}}, $i if defined $i;
+         !!!next-token;
+         redo B;
+       } elsif ($token->{tag_name} eq 'p') {
+         ## has an element in scope
+         my $i;
+         INSCOPE: for (reverse 0..$#{$self->{open_elements}}) {
+           my $node = $self->{open_elements}->[$_];
+           if ($node->[1] & P_EL) {
+             !!!cp ('t410.1');
+             $i = $_;
+             last INSCOPE;
+           } elsif ($node->[1] & SCOPING_EL) {
+             !!!cp ('t411.1');
+             last INSCOPE;
+           }
+         } # INSCOPE
+         if (defined $i) {
+           if ($self->{open_elements}->[-1]->[0]->manakai_local_name
+                   ne $token->{tag_name}) {
+             !!!cp ('t412.1');
+             !!!parse-error (type => 'not closed',
+                             value => $self->{open_elements}->[-1]->[0]
+                                 ->manakai_local_name,
+                             token => $token);
+           } else {
+             !!!cp ('t414.1');
+           }
+           splice @{$self->{open_elements}}, $i;
+         } else {
+           !!!cp ('t413.1');
+           !!!parse-error (type => 'unmatched end tag:'.$token->{tag_name}, token => $token);
+           !!!cp ('t415.1');
+           ## As if <p>, then reprocess the current token
+           my $el;
+           !!!create-element ($el, 'p',, $token);
+           $insert->($el);
+           ## NOTE: Not inserted into |$self->{open_elements}|.
+         }
          !!!next-token;
          redo B;
        } elsif ({
-Line 5374 
 sub _tree_construction_main ($) {
+Line 6440 
 sub _tree_construction_main ($) {
                  nobr => 1, s => 1, small => 1, strile => 1,
                  strong => 1, tt => 1, u => 1,
                 }->{$token->{tag_name}}) {
-         $formatting_end_tag->($token->{tag_name});
+         !!!cp ('t427');
+         $formatting_end_tag->($token);
          redo B;
        } elsif ($token->{tag_name} eq 'br') {
-         !!!parse-error (type => 'unmatched end tag:br');
+         !!!cp ('t428');
+         !!!parse-error (type => 'unmatched end tag:br', token => $token);
          ## As if <br>
          $reconstruct_active_formatting_elements->($insert_to_current);
          my $el;
-         !!!create-element ($el, 'br');
+         !!!create-element ($el, 'br',, $token);
          $insert->($el);
          ## Ignore the token.
-Line 5401 
 sub _tree_construction_main ($) {
+Line 6469 
 sub _tree_construction_main ($) {
                  table => 1, textarea => 1, wbr => 1,
                  noscript => 0, ## TODO: if scripting is enabled
                 }->{$token->{tag_name}}) {
-         !!!parse-error (type => 'unmatched end tag:'.$token->{tag_name});
+         !!!cp ('t429');
+         !!!parse-error (type => 'unmatched end tag:'.$token->{tag_name}, token => $token);
          ## Ignore the token
          !!!next-token;
          redo B;
-Line 5415 
 sub _tree_construction_main ($) {
+Line 6484 
 sub _tree_construction_main ($) {
          ## Step 2
          S2: {
-           if ($node->[1] eq $token->{tag_name}) {
+           if ($node->[0]->manakai_local_name eq $token->{tag_name}) {
              ## Step 1
              ## generate implied end tags
-             if ({
+             while ($self->{open_elements}->[-1]->[1] & END_TAG_OPTIONAL_EL) {
-                  dd => 1, dt => 1, li => 1, p => 1,
+               !!!cp ('t430');
-                  td => 1, th => 1, tr => 1,
+               ## ISSUE: Can this case be reached?
-                  tbody => 1, tfoot => 1, thead => 1,
+               pop @{$self->{open_elements}};
-                 }->{$self->{open_elements}->[-1]->[1]}) {
-               !!!back-token;
-               $token = {type => END_TAG_TOKEN,
-                         tag_name => $self->{open_elements}->[-1]->[1]}; # MUST
-               redo B;
              }
              ## Step 2
-             if ($token->{tag_name} ne $self->{open_elements}->[-1]->[1]) {
+             if ($self->{open_elements}->[-1]->[0]->manakai_local_name
+                     ne $token->{tag_name}) {
+               !!!cp ('t431');
                ## NOTE: <x><y></x>
-               !!!parse-error (type => 'not closed:'.$self->{open_elements}->[-1]->[1]);
+               !!!parse-error (type => 'not closed',
+                               value => $self->{open_elements}->[-1]->[0]
+                                   ->manakai_local_name,
+                               token => $token);
+             } else {
+               !!!cp ('t432');
              }
              ## Step 3
-Line 5442 
 sub _tree_construction_main ($) {
+Line 6513 
 sub _tree_construction_main ($) {
              last S2;
            } else {
              ## Step 3
-             if (not $formatting_category->{$node->[1]} and
+             if (not ($node->[1] & FORMATTING_EL) and
                  #not $phrasing_category->{$node->[1]} and
-                 ($special_category->{$node->[1]} or
+                 ($node->[1] & SPECIAL_EL or
-                  $scoping_category->{$node->[1]})) {
+                  $node->[1] & SCOPING_EL)) {
-               !!!parse-error (type => 'unmatched end tag:'.$token->{tag_name});
+               !!!cp ('t433');
+               !!!parse-error (type => 'unmatched end tag:'.$token->{tag_name}, token => $token);
                ## Ignore the token
                !!!next-token;
                last S2;
              }
+             !!!cp ('t434');
            }
            ## Step 4
-Line 5466 
 sub _tree_construction_main ($) {
+Line 6540 
 sub _tree_construction_main ($) {
      redo B;
    } # B
-   ## NOTE: The "trailing end" phase in HTML5 is split into
-   ## two insertion modes: "after html body" and "after html frameset".
-   ## NOTE: States in the main stage is preserved while
-   ## the parser stays in the trailing end phase. # MUST
    ## Stop parsing # MUST
    ## TODO: script stuffs
-Line 5512 
 sub set_inner_html ($$$) {
+Line 6581 
 sub set_inner_html ($$$) {
      my $p = $class->new;
      $p->{document} = $doc;
-     ## Step 9 # MUST
+     ## Step 8 # MUST
      my $i = 0;
-     my $line = 1;
+     $p->{line_prev} = $p->{line} = 1;
-     my $column = 0;
+     $p->{column_prev} = $p->{column} = 0;
      $p->{set_next_char} = sub {
        my $self = shift;
-Line 5524 
 sub set_inner_html ($$$) {
+Line 6593 
 sub set_inner_html ($$$) {
        $self->{next_char} = -1 and return if $i >= length $$s;
        $self->{next_char} = ord substr $$s, $i++, 1;
-       $column++;
+       ($p->{line_prev}, $p->{column_prev}) = ($p->{line}, $p->{column});
+       $p->{column}++;
        if ($self->{next_char} == 0x000A) { # LF
-         $line++;
+         $p->{line}++;
-         $column = 0;
+         $p->{column} = 0;
+         !!!cp ('i1');
        } elsif ($self->{next_char} == 0x000D) { # CR
          $i++ if substr ($$s, $i, 1) eq "\x0A";
          $self->{next_char} = 0x000A; # LF # MUST
-         $line++;
+         $p->{line}++;
-         $column = 0;
+         $p->{column} = 0;
+         !!!cp ('i2');
        } elsif ($self->{next_char} > 0x10FFFF) {
          $self->{next_char} = 0xFFFD; # REPLACEMENT CHARACTER # MUST
+         !!!cp ('i3');
        } elsif ($self->{next_char} == 0x0000) { # NULL
+         !!!cp ('i4');
          !!!parse-error (type => 'NULL');
          $self->{next_char} = 0xFFFD; # REPLACEMENT CHARACTER # MUST
        }
-Line 5546 
 sub set_inner_html ($$$) {
+Line 6621 
 sub set_inner_html ($$$) {
      my $ponerror = $onerror || sub {
        my (%opt) = @_;
-       warn "Parse error ($opt{type}) at line $opt{line} column $opt{column}\n";
+       my $line = $opt{line};
+       my $column = $opt{column};
+       if (defined $opt{token} and defined $opt{token}->{line}) {
+         $line = $opt{token}->{line};
+         $column = $opt{token}->{column};
+       }
+       warn "Parse error ($opt{type}) at line $line column $column\n";
      };
      $p->{parse_error} = sub {
-       $ponerror->(@_, line => $line, column => $column);
+       $ponerror->(line => $p->{line}, column => $p->{column}, @_);
      };
      $p->_initialize_tokenizer;
-Line 5573 
 sub set_inner_html ($$$) {
+Line 6654 
 sub set_inner_html ($$$) {
          unless defined $p->{content_model};
          ## ISSUE: What is "the name of the element"? local name?
-     $p->{inner_html_node} = [$node, $node_ln];
+     $p->{inner_html_node} = [$node, $el_category->{$node_ln}];
+       ## TODO: Foreign element OK?
-     ## Step 4
+     ## Step 3
      my $root = $doc->create_element_ns
        ('http://www.w3.org/1999/xhtml', [undef, 'html']);
-     ## Step 5 # MUST
+     ## Step 4 # MUST
      $doc->append_child ($root);
-     ## Step 6 # MUST
+     ## Step 5 # MUST
-     push @{$p->{open_elements}}, [$root, 'html'];
+     push @{$p->{open_elements}}, [$root, $el_category->{html}];
      undef $p->{head_element};
-     ## Step 7 # MUST
+     ## Step 6 # MUST
      $p->_reset_insertion_mode;
-     ## Step 8 # MUST
+     ## Step 7 # MUST
      my $anode = $node;
      AN: while (defined $anode) {
        if ($anode->node_type == 1) {
          my $nsuri = $anode->namespace_uri;
          if (defined $nsuri and $nsuri eq 'http://www.w3.org/1999/xhtml') {
            if ($anode->manakai_local_name eq 'form') {
+             !!!cp ('i5');
              $p->{form_element} = $anode;
              last AN;
            }
-Line 5605 
 sub set_inner_html ($$$) {
+Line 6688 
 sub set_inner_html ($$$) {
        $anode = $anode->parent_node;
      } # AN
-     ## Step 3 # MUST
+     ## Step 9 # MUST
-     ## Step 10 # MUST
      {
        my $self = $p;
        !!!next-token;
      }
      $p->_tree_construction_main;
-     ## Step 11 # MUST
+     ## Step 10 # MUST
      my @cn = @{$node->child_nodes};
      for (@cn) {
        $node->remove_child ($_);
      }
      ## ISSUE: mutation events? read-only?
-     ## Step 12 # MUST
+     ## Step 11 # MUST
      @cn = @{$root->child_nodes};
      for (@cn) {
        $this_doc->adopt_node ($_);
-Line 5629 
 sub set_inner_html ($$$) {
+Line 6711 
 sub set_inner_html ($$$) {
      ## ISSUE: mutation events?
      $p->_terminate_tree_constructor;
+     delete $p->{parse_error}; # delete loop
    } else {
      die "$0: |set_inner_html| is not defined for node of type $nt";
    }

 Legend:



Removed from v.1.76
 


changed lines


 
Added in v.1.124
 Legend:



Removed from v.1.76
 


changed lines


 
Added in v.1.124
-Removed from v.1.76
+Added in v.1.124

[email protected]	ViewVC Help
Powered by ViewVC 1.1.24