/[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.180 by wakaba,
Sun Sep 14 14:35:43 2008 UTC
+revision 1.225 by wakaba,
Sun Aug 16 05:57:24 2009 UTC
 Line 3 
 use strict;
  our $VERSION=do{my @r=(q$Revision$=~/\d+/g);sprintf "%d."."%02d" x $#r,@r};
  use Error qw(:try);
+ use Whatpm::HTML::Tokenizer;
+ ## NOTE: This module don't check all HTML5 parse errors; character
+ ## encoding related parse errors are expected to be handled by relevant
+ ## modules.
+ ## Parse errors for control characters that are not allowed in HTML5
+ ## documents, for surrogate code points, and for noncharacter code
+ ## points, as well as U+FFFD substitions for characters whose code points
+ ## is higher than U+10FFFF may be detected by combining the parser with
+ ## the checker implemented by Whatpm::Charset::UnicodeChecker (for its
+ ## usage example, see |t/HTML-tree.t| in the Whatpm package or the
+ ## WebHACC::Language::HTML module in the WebHACC package).
  ## ISSUE:
  ## var doc = implementation.createDocument (null, null, null);
  ## doc.write ('');
-Line 10 
 use Error qw(:try);
+Line 23 
 use Error qw(:try);
  require IO::Handle;
+ ## Namespace URLs
  my $HTML_NS = q<http://www.w3.org/1999/xhtml>;
  my $MML_NS = q<http://www.w3.org/1998/Math/MathML>;
  my $SVG_NS = q<http://www.w3.org/2000/svg>;
-Line 17 
 my $XLINK_NS = q<http://www.w3.org/1999/
+Line 32 
 my $XLINK_NS = q<http://www.w3.org/1999/
  my $XML_NS = q<http://www.w3.org/XML/1998/namespace>;
  my $XMLNS_NS = q<http://www.w3.org/2000/xmlns/>;
- sub A_EL () { 0b1 }
+ ## Element categories
- 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 FOREIGN_EL () { 0b10000000000000000000000000 }
- sub FOREIGN_FLOW_CONTENT_EL () { 0b100000000000000000000000000 }
- sub MML_AXML_EL () { 0b1000000000000000000000000000 }
- sub RUBY_EL () { 0b10000000000000000000000000000 }
- sub RUBY_COMPONENT_EL () { 0b100000000000000000000000000000 }
- sub TABLE_ROWS_EL () {
-   TABLE_EL |
-   TABLE_ROW_EL |
-   TABLE_ROW_GROUP_EL
- }
- ## NOTE: Used in "generate implied end tags" algorithm.
+ ## Bits 12-15
- ## NOTE: There is a code where a modified version of END_TAG_OPTIONAL_EL
+ sub SPECIAL_EL () { 0b1_000000000000000 }
- ## is used in "generate implied end tags" implementation (search for the
+ sub SCOPING_EL () { 0b1_00000000000000 }
- ## function mae).
+ sub FORMATTING_EL () { 0b1_0000000000000 }
- sub END_TAG_OPTIONAL_EL () {
+ sub PHRASING_EL () { 0b1_000000000000 }
-   DD_EL |
-   DT_EL |
+ ## Bits 10-11
-   LI_EL |
+ #sub FOREIGN_EL () { 0b1_00000000000 } # see Whatpm::HTML::Tokenizer
-   P_EL |
+ sub FOREIGN_FLOW_CONTENT_EL () { 0b1_0000000000 }
-   RUBY_COMPONENT_EL
- }
+ ## Bits 6-9
+ sub TABLE_SCOPING_EL () { 0b1_000000000 }
+ sub TABLE_ROWS_SCOPING_EL () { 0b1_00000000 }
+ sub TABLE_ROW_SCOPING_EL () { 0b1_0000000 }
+ sub TABLE_ROWS_EL () { 0b1_000000 }
+ ## Bit 5
+ sub ADDRESS_DIV_P_EL () { 0b1_00000 }
  ## NOTE: Used in </body> and EOF algorithms.
- sub ALL_END_TAG_OPTIONAL_EL () {
+ ## Bit 4
-   DD_EL |
+ sub ALL_END_TAG_OPTIONAL_EL () { 0b1_0000 }
-   DT_EL |
-   LI_EL |
-   P_EL |
-   BODY_EL |
-   HTML_EL |
-   TABLE_CELL_EL |
-   TABLE_ROW_EL |
-   TABLE_ROW_GROUP_EL
- }
- sub SCOPING_EL () {
+ ## NOTE: Used in "generate implied end tags" algorithm.
-   BUTTON_EL |
+ ## NOTE: There is a code where a modified version of
-   CAPTION_EL |
+ ## END_TAG_OPTIONAL_EL is used in "generate implied end tags"
-   HTML_EL |
+ ## implementation (search for the algorithm name).
-   TABLE_EL |
+ ## Bit 3
-   TABLE_CELL_EL |
+ sub END_TAG_OPTIONAL_EL () { 0b1_000 }
-   MISC_SCOPING_EL
+ ## Bits 0-2
+ sub MISC_SPECIAL_EL () { SPECIAL_EL | 0b000 }
+ sub FORM_EL () { SPECIAL_EL | 0b001 }
+ sub FRAMESET_EL () { SPECIAL_EL | 0b010 }
+ sub HEADING_EL () { SPECIAL_EL | 0b011 }
+ sub SELECT_EL () { SPECIAL_EL | 0b100 }
+ sub SCRIPT_EL () { SPECIAL_EL | 0b101 }
+ sub ADDRESS_DIV_EL () { SPECIAL_EL | ADDRESS_DIV_P_EL | 0b001 }
+ sub BODY_EL () { SPECIAL_EL | ALL_END_TAG_OPTIONAL_EL | 0b001 }
+ sub DTDD_EL () {
+   SPECIAL_EL |
+   END_TAG_OPTIONAL_EL |
+   ALL_END_TAG_OPTIONAL_EL |
+b010
  }
+ sub LI_EL () {
- sub TABLE_SCOPING_EL () {
+   SPECIAL_EL |
-   HTML_EL |
+   END_TAG_OPTIONAL_EL |
-   TABLE_EL
+   ALL_END_TAG_OPTIONAL_EL |
+b100
  }
+ sub P_EL () {
- sub TABLE_ROWS_SCOPING_EL () {
+   SPECIAL_EL |
-   HTML_EL |
+   ADDRESS_DIV_P_EL |
-   TABLE_ROW_GROUP_EL
+   END_TAG_OPTIONAL_EL |
+   ALL_END_TAG_OPTIONAL_EL |
+b001
  }
- sub TABLE_ROW_SCOPING_EL () {
+ sub TABLE_ROW_EL () {
-   HTML_EL |
+   SPECIAL_EL |
-   TABLE_ROW_EL
+   TABLE_ROWS_EL |
+   TABLE_ROW_SCOPING_EL |
+   ALL_END_TAG_OPTIONAL_EL |
+b001
+ }
+ sub TABLE_ROW_GROUP_EL () {
+   SPECIAL_EL |
+   TABLE_ROWS_EL |
+   TABLE_ROWS_SCOPING_EL |
+   ALL_END_TAG_OPTIONAL_EL |
+b001
  }
- sub SPECIAL_EL () {
+ sub MISC_SCOPING_EL () { SCOPING_EL | 0b000 }
-   ADDRESS_EL |
+ sub BUTTON_EL () { SCOPING_EL | 0b001 }
-   BODY_EL |
+ sub CAPTION_EL () { SCOPING_EL | 0b010 }
-   DIV_EL |
+ sub HTML_EL () {
+   SCOPING_EL |
-   DD_EL |
+   TABLE_SCOPING_EL |
-   DT_EL |
+   TABLE_ROWS_SCOPING_EL |
-   LI_EL |
+   TABLE_ROW_SCOPING_EL |
-   P_EL |
+   ALL_END_TAG_OPTIONAL_EL |
+b001
-   FORM_EL |
+ }
-   FRAMESET_EL |
+ sub TABLE_EL () {
-   HEADING_EL |
+   SCOPING_EL |
-   OPTION_EL |
+   TABLE_ROWS_EL |
-   OPTGROUP_EL |
+   TABLE_SCOPING_EL |
-   SELECT_EL |
+b001
-   TABLE_ROW_EL |
+ }
-   TABLE_ROW_GROUP_EL |
+ sub TABLE_CELL_EL () {
-   MISC_SPECIAL_EL
+   SCOPING_EL |
+   TABLE_ROW_SCOPING_EL |
+   ALL_END_TAG_OPTIONAL_EL |
+b001
  }
+ sub MISC_FORMATTING_EL () { FORMATTING_EL | 0b000 }
+ sub A_EL () { FORMATTING_EL | 0b001 }
+ sub NOBR_EL () { FORMATTING_EL | 0b010 }
+ sub RUBY_EL () { PHRASING_EL | 0b001 }
+ ## ISSUE: ALL_END_TAG_OPTIONAL_EL?
+ sub OPTGROUP_EL () { PHRASING_EL | END_TAG_OPTIONAL_EL | 0b001 }
+ sub OPTION_EL () { PHRASING_EL | END_TAG_OPTIONAL_EL | 0b010 }
+ sub RUBY_COMPONENT_EL () { PHRASING_EL | END_TAG_OPTIONAL_EL | 0b100 }
+ sub MML_AXML_EL () { PHRASING_EL | FOREIGN_EL | 0b001 }
  my $el_category = {
-   a => A_EL | FORMATTING_EL,
+   a => A_EL,
-   address => ADDRESS_EL,
+   address => ADDRESS_DIV_EL,
    applet => MISC_SCOPING_EL,
    area => MISC_SPECIAL_EL,
+   article => MISC_SPECIAL_EL,
+   aside => MISC_SPECIAL_EL,
    b => FORMATTING_EL,
    base => MISC_SPECIAL_EL,
    basefont => MISC_SPECIAL_EL,
-Line 143 
 my $el_category = {
+Line 168 
 my $el_category = {
    center => MISC_SPECIAL_EL,
    col => MISC_SPECIAL_EL,
    colgroup => MISC_SPECIAL_EL,
-   dd => DD_EL,
+   command => MISC_SPECIAL_EL,
+   datagrid => MISC_SPECIAL_EL,
+   dd => DTDD_EL,
+   details => MISC_SPECIAL_EL,
+   dialog => MISC_SPECIAL_EL,
    dir => MISC_SPECIAL_EL,
-   div => DIV_EL,
+   div => ADDRESS_DIV_EL,
    dl => MISC_SPECIAL_EL,
-   dt => DT_EL,
+   dt => DTDD_EL,
    em => FORMATTING_EL,
    embed => MISC_SPECIAL_EL,
+   eventsource => MISC_SPECIAL_EL,
    fieldset => MISC_SPECIAL_EL,
+   figure => MISC_SPECIAL_EL,
    font => FORMATTING_EL,
+   footer => MISC_SPECIAL_EL,
    form => FORM_EL,
    frame => MISC_SPECIAL_EL,
    frameset => FRAMESET_EL,
-Line 162 
 my $el_category = {
+Line 194 
 my $el_category = {
    h5 => HEADING_EL,
    h6 => HEADING_EL,
    head => MISC_SPECIAL_EL,
+   header => MISC_SPECIAL_EL,
    hr => MISC_SPECIAL_EL,
    html => HTML_EL,
    i => FORMATTING_EL,
    iframe => MISC_SPECIAL_EL,
    img => MISC_SPECIAL_EL,
+   #image => MISC_SPECIAL_EL, ## NOTE: Commented out in the spec.
    input => MISC_SPECIAL_EL,
    isindex => MISC_SPECIAL_EL,
    li => LI_EL,
-Line 175 
 my $el_category = {
+Line 209 
 my $el_category = {
    marquee => MISC_SCOPING_EL,
    menu => MISC_SPECIAL_EL,
    meta => MISC_SPECIAL_EL,
-   nobr => NOBR_EL | FORMATTING_EL,
+   nav => MISC_SPECIAL_EL,
+   nobr => NOBR_EL,
    noembed => MISC_SPECIAL_EL,
    noframes => MISC_SPECIAL_EL,
    noscript => MISC_SPECIAL_EL,
-Line 193 
 my $el_category = {
+Line 228 
 my $el_category = {
    s => FORMATTING_EL,
    script => MISC_SPECIAL_EL,
    select => SELECT_EL,
+   section => MISC_SPECIAL_EL,
    small => FORMATTING_EL,
    spacer => MISC_SPECIAL_EL,
    strike => FORMATTING_EL,
-Line 216 
 my $el_category = {
+Line 252 
 my $el_category = {
  my $el_category_f = {
    $MML_NS => {
      'annotation-xml' => MML_AXML_EL,
-     mi => FOREIGN_FLOW_CONTENT_EL,
+     mi => FOREIGN_EL | FOREIGN_FLOW_CONTENT_EL,
-     mo => FOREIGN_FLOW_CONTENT_EL,
+     mo => FOREIGN_EL | FOREIGN_FLOW_CONTENT_EL,
-     mn => FOREIGN_FLOW_CONTENT_EL,
+     mn => FOREIGN_EL | FOREIGN_FLOW_CONTENT_EL,
-     ms => FOREIGN_FLOW_CONTENT_EL,
+     ms => FOREIGN_EL | FOREIGN_FLOW_CONTENT_EL,
-     mtext => FOREIGN_FLOW_CONTENT_EL,
+     mtext => FOREIGN_EL | FOREIGN_FLOW_CONTENT_EL,
    },
    $SVG_NS => {
-     foreignObject => FOREIGN_FLOW_CONTENT_EL,
+     foreignObject => SCOPING_EL | FOREIGN_EL | FOREIGN_FLOW_CONTENT_EL,
-     desc => FOREIGN_FLOW_CONTENT_EL,
+     desc => FOREIGN_EL | FOREIGN_FLOW_CONTENT_EL,
-     title => FOREIGN_FLOW_CONTENT_EL,
+     title => FOREIGN_EL | FOREIGN_FLOW_CONTENT_EL,
    },
    ## NOTE: In addition, FOREIGN_EL is set to non-HTML elements.
  };
-Line 312 
 my $foreign_attr_xname = {
+Line 348 
 my $foreign_attr_xname = {
  ## ISSUE: xmlns:xlink="non-xlink-ns" is not an error.
- my $c1_entity_char = {
+ ## TODO: Invoke the reset algorithm when a resettable element is
-x80 => 0x20AC,
+ ## created (cf. HTML5 revision 2259).
-x81 => 0xFFFD,
-x82 => 0x201A,
-x83 => 0x0192,
-x84 => 0x201E,
-x85 => 0x2026,
-x86 => 0x2020,
-x87 => 0x2021,
-x88 => 0x02C6,
-x89 => 0x2030,
-x8A => 0x0160,
-x8B => 0x2039,
-x8C => 0x0152,
-x8D => 0xFFFD,
-x8E => 0x017D,
-x8F => 0xFFFD,
-x90 => 0xFFFD,
-x91 => 0x2018,
-x92 => 0x2019,
-x93 => 0x201C,
-x94 => 0x201D,
-x95 => 0x2022,
-x96 => 0x2013,
-x97 => 0x2014,
-x98 => 0x02DC,
-x99 => 0x2122,
-x9A => 0x0161,
-x9B => 0x203A,
-x9C => 0x0153,
-x9D => 0xFFFD,
-x9E => 0x017E,
-x9F => 0x0178,
- }; # $c1_entity_char
  sub parse_byte_string ($$$$;$) {
    my $self = shift;
-Line 390 
 sub parse_byte_stream ($$$$;$$) {
+Line 394 
 sub parse_byte_stream ($$$$;$$) {
            ## TODO: Is this ok?  Transfer protocol's parameter should be
            ## interpreted in its semantics?
-       ## ISSUE: Unsupported encoding is not ignored according to the spec.
        ($char_stream, $e_status) = $charset->get_decode_handle
            ($byte_stream, allow_error_reporting => 1,
             allow_fallback => 1);
-Line 398 
 sub parse_byte_stream ($$$$;$$) {
+Line 401 
 sub parse_byte_stream ($$$$;$$) {
          $self->{confident} = 1;
          last SNIFFING;
        } else {
-         ## TODO: unsupported error
+         !!!parse-error (type => 'charset:not supported',
+                         layer => 'encode',
+                         line => 1, column => 1,
+                         value => $charset_name,
+                         level => $self->{level}->{uncertain});
        }
      }
-Line 447 
 sub parse_byte_stream ($$$$;$$) {
+Line 454 
 sub parse_byte_stream ($$$$;$$) {
      if (defined $charset_name) {
        $charset = Message::Charset::Info->get_by_html_name ($charset_name);
-       ## ISSUE: Unsupported encoding is not ignored according to the spec.
        require Whatpm::Charset::DecodeHandle;
        $buffer = Whatpm::Charset::DecodeHandle::ByteBuffer->new
            ($byte_stream);
-Line 519 
 sub parse_byte_stream ($$$$;$$) {
+Line 525 
 sub parse_byte_stream ($$$$;$$) {
      if ($char_stream) { # if supported
        ## "Change the encoding" algorithm:
-       ## Step 1
-       if ($charset->{category} &
-           Message::Charset::Info::CHARSET_CATEGORY_UTF16 ()) {
-         $charset = Message::Charset::Info->get_by_html_name ('utf-8');
-         ($char_stream, $e_status) = $charset->get_decode_handle
-             ($byte_stream,
-              byte_buffer => \ $buffer->{buffer});
-       }
-       $charset_name = $charset->get_iana_name;
-       ## Step 2
+       ## Step 1
        if (defined $self->{input_encoding} and
            $self->{input_encoding} eq $charset_name) {
          !!!parse-error (type => 'charset label:matching',
-Line 540 
 sub parse_byte_stream ($$$$;$$) {
+Line 536 
 sub parse_byte_stream ($$$$;$$) {
          return;
        }
+       ## Step 2 (HTML5 revision 3205)
+       if (defined $self->{input_encoding} and
+           Message::Charset::Info->get_by_html_name ($self->{input_encoding})
+           ->{category} & Message::Charset::Info::CHARSET_CATEGORY_UTF16 ()) {
+         $self->{confident} = 1;
+         return;
+       }
+       ## Step 3
+       if ($charset->{category} &
+           Message::Charset::Info::CHARSET_CATEGORY_UTF16 ()) {
+         $charset = Message::Charset::Info->get_by_html_name ('utf-8');
+         ($char_stream, $e_status) = $charset->get_decode_handle
+             ($byte_stream,
+              byte_buffer => \ $buffer->{buffer});
+       }
+       $charset_name = $charset->get_iana_name;
        !!!parse-error (type => 'charset label detected',
                        text => $self->{input_encoding},
                        value => $charset_name,
                        level => $self->{level}->{warn},
                        token => $token);
-       ## Step 3
+       ## Step 4
        # if (can) {
          ## change the encoding on the fly.
          #$self->{confident} = 1;
          #return;
        # }
-       ## Step 4
+       ## Step 5
        throw Whatpm::HTML::RestartParser ();
      }
    }; # $self->{change_encoding}
-Line 571 
 sub parse_byte_stream ($$$$;$$) {
+Line 585 
 sub parse_byte_stream ($$$$;$$) {
    my $wrapped_char_stream = $get_wrapper->($char_stream);
    $wrapped_char_stream->onerror ($char_onerror);
-   my @args = @_; shift @args; # $s
+   my @args = ($_[1], $_[2]); # $doc, $onerror - $get_wrapper = undef;
    my $return;
    try {
      $return = $self->parse_char_stream ($wrapped_char_stream, @args);
-Line 621 
 sub parse_char_string ($$$;$$) {
+Line 635 
 sub parse_char_string ($$$;$$) {
    my $s = ref $_[0] ? $_[0] : \($_[0]);
    require Whatpm::Charset::DecodeHandle;
    my $input = Whatpm::Charset::DecodeHandle::CharString->new ($s);
-   if ($_[3]) {
-     $input = $_[3]->($input);
-   }
    return $self->parse_char_stream ($input, @_[1..$#_]);
  } # parse_char_string
  *parse_string = \&parse_char_string; ## NOTE: Alias for backward compatibility.
- sub parse_char_stream ($$$;$) {
+ sub parse_char_stream ($$$;$$) {
    my $self = ref $_[0] ? shift : shift->new;
    my $input = $_[0];
    $self->{document} = $_[1];
-Line 641 
 sub parse_char_stream ($$$;$) {
+Line 652 
 sub parse_char_stream ($$$;$) {
        if defined $self->{input_encoding};
  ## TODO: |{input_encoding}| is needless?
-   my $i = 0;
    $self->{line_prev} = $self->{line} = 1;
    $self->{column_prev} = -1;
    $self->{column} = 0;
-   $self->{set_next_char} = sub {
+   $self->{set_nc} = sub {
      my $self = shift;
      my $char = '';
-     if (defined $self->{next_next_char}) {
+     if (defined $self->{next_nc}) {
-       $char = $self->{next_next_char};
+       $char = $self->{next_nc};
-       delete $self->{next_next_char};
+       delete $self->{next_nc};
-       $self->{next_char} = ord $char;
+       $self->{nc} = ord $char;
      } else {
        $self->{char_buffer} = '';
        $self->{char_buffer_pos} = 0;
        my $count = $input->manakai_read_until
-          ($self->{char_buffer},
+          ($self->{char_buffer}, qr/[^\x00\x0A\x0D]/, $self->{char_buffer_pos});
-           qr/(?![\x{FDD0}-\x{FDDF}\x{FFFE}\x{FFFF}\x{1FFFE}\x{1FFFF}\x{2FFFE}\x{2FFFF}\x{3FFFE}\x{3FFFF}\x{4FFFE}\x{4FFFF}\x{5FFFE}\x{5FFFF}\x{6FFFE}\x{6FFFF}\x{7FFFE}\x{7FFFF}\x{8FFFE}\x{8FFFF}\x{9FFFE}\x{9FFFF}\x{AFFFE}\x{AFFFF}\x{BFFFE}\x{BFFFF}\x{CFFFE}\x{CFFFF}\x{DFFFE}\x{DFFFF}\x{EFFFE}\x{EFFFF}\x{FFFFE}\x{FFFFF}])[\x20-\x7E\xA0-\x{D7FF}\x{E000}-\x{10FFFD}]/,
-           $self->{char_buffer_pos});
        if ($count) {
          $self->{line_prev} = $self->{line};
          $self->{column_prev} = $self->{column};
          $self->{column}++;
-         $self->{next_char}
+         $self->{nc}
              = ord substr ($self->{char_buffer}, $self->{char_buffer_pos}++, 1);
          return;
        }
        if ($input->read ($char, 1)) {
-         $self->{next_char} = ord $char;
+         $self->{nc} = ord $char;
        } else {
-         $self->{next_char} = -1;
+         $self->{nc} = -1;
          return;
        }
      }
-Line 682 
 sub parse_char_stream ($$$;$) {
+Line 690 
 sub parse_char_stream ($$$;$) {
          = ($self->{line}, $self->{column});
      $self->{column}++;
-     if ($self->{next_char} == 0x000A) { # LF
+     if ($self->{nc} == 0x000A) { # LF
        !!!cp ('j1');
        $self->{line}++;
        $self->{column} = 0;
-     } elsif ($self->{next_char} == 0x000D) { # CR
+     } elsif ($self->{nc} == 0x000D) { # CR
        !!!cp ('j2');
  ## TODO: support for abort/streaming
        my $next = '';
        if ($input->read ($next, 1) and $next ne "\x0A") {
-         $self->{next_next_char} = $next;
+         $self->{next_nc} = $next;
        }
-       $self->{next_char} = 0x000A; # LF # MUST
+       $self->{nc} = 0x000A; # LF # MUST
        $self->{line}++;
        $self->{column} = 0;
-     } elsif ($self->{next_char} > 0x10FFFF) {
+     } elsif ($self->{nc} == 0x0000) { # NULL
-       !!!cp ('j3');
-       $self->{next_char} = 0xFFFD; # REPLACEMENT CHARACTER # MUST
-     } elsif ($self->{next_char} == 0x0000) { # NULL
        !!!cp ('j4');
        !!!parse-error (type => 'NULL');
-       $self->{next_char} = 0xFFFD; # REPLACEMENT CHARACTER # MUST
+       $self->{nc} = 0xFFFD; # REPLACEMENT CHARACTER # MUST
-     } elsif ($self->{next_char} <= 0x0008 or
-              (0x000E <= $self->{next_char} and $self->{next_char} <= 0x001F) or
-              (0x007F <= $self->{next_char} and $self->{next_char} <= 0x009F) or
-              (0xD800 <= $self->{next_char} and $self->{next_char} <= 0xDFFF) or
-              (0xFDD0 <= $self->{next_char} and $self->{next_char} <= 0xFDDF) or
- ## ISSUE: U+FDE0-U+FDEF are not excluded
-              {
-xFFFE => 1, 0xFFFF => 1, 0x1FFFE => 1, 0x1FFFF => 1,
-x2FFFE => 1, 0x2FFFF => 1, 0x3FFFE => 1, 0x3FFFF => 1,
-x4FFFE => 1, 0x4FFFF => 1, 0x5FFFE => 1, 0x5FFFF => 1,
-x6FFFE => 1, 0x6FFFF => 1, 0x7FFFE => 1, 0x7FFFF => 1,
-x8FFFE => 1, 0x8FFFF => 1, 0x9FFFE => 1, 0x9FFFF => 1,
-xAFFFE => 1, 0xAFFFF => 1, 0xBFFFE => 1, 0xBFFFF => 1,
-xCFFFE => 1, 0xCFFFF => 1, 0xDFFFE => 1, 0xDFFFF => 1,
-xEFFFE => 1, 0xEFFFF => 1, 0xFFFFE => 1, 0xFFFFF => 1,
-x10FFFE => 1, 0x10FFFF => 1,
-              }->{$self->{next_char}}) {
-       !!!cp ('j5');
-       if ($self->{next_char} < 0x10000) {
-         !!!parse-error (type => 'control char',
-                         text => (sprintf 'U+%04X', $self->{next_char}));
-       } else {
-         !!!parse-error (type => 'control char',
-                         text => (sprintf 'U-%08X', $self->{next_char}));
-       }
      }
    };
    $self->{read_until} = sub {
      #my ($scalar, $specials_range, $offset) = @_;
-     return 0 if defined $self->{next_next_char};
+     return 0 if defined $self->{next_nc};
-     my $pattern = qr/(?![$_[1]\x{FDD0}-\x{FDDF}\x{FFFE}\x{FFFF}\x{1FFFE}\x{1FFFF}\x{2FFFE}\x{2FFFF}\x{3FFFE}\x{3FFFF}\x{4FFFE}\x{4FFFF}\x{5FFFE}\x{5FFFF}\x{6FFFE}\x{6FFFF}\x{7FFFE}\x{7FFFF}\x{8FFFE}\x{8FFFF}\x{9FFFE}\x{9FFFF}\x{AFFFE}\x{AFFFF}\x{BFFFE}\x{BFFFF}\x{CFFFE}\x{CFFFF}\x{DFFFE}\x{DFFFF}\x{EFFFE}\x{EFFFF}\x{FFFFE}\x{FFFFF}])[\x20-\x7E\xA0-\x{D7FF}\x{E000}-\x{10FFFD}]/;
+     my $pattern = qr/[^$_[1]\x00\x0A\x0D]/;
      my $offset = $_[2] || 0;
      if ($self->{char_buffer_pos} < length $self->{char_buffer}) {
-Line 749 
 sub parse_char_stream ($$$;$) {
+Line 729 
 sub parse_char_stream ($$$;$) {
            $self->{char_buffer_pos} += $count;
            $self->{line_prev} = $self->{line};
            $self->{column_prev} = $self->{column} - 1;
-           $self->{prev_char} = [-1, -1, -1];
+           $self->{nc} = -1;
-           $self->{next_char} = -1;
          }
          return $count;
        } else {
-Line 762 
 sub parse_char_stream ($$$;$) {
+Line 741 
 sub parse_char_stream ($$$;$) {
          $self->{column} += $count;
          $self->{line_prev} = $self->{line};
          $self->{column_prev} = $self->{column} - 1;
-         $self->{prev_char} = [-1, -1, -1];
+         $self->{nc} = -1;
-         $self->{next_char} = -1;
        }
        return $count;
      }
-Line 779 
 sub parse_char_stream ($$$;$) {
+Line 757 
 sub parse_char_stream ($$$;$) {
      $onerror->(line => $self->{line}, column => $self->{column}, @_);
    };
+   my $char_onerror = sub {
+     my (undef, $type, %opt) = @_;
+     !!!parse-error (layer => 'encode',
+                     line => $self->{line}, column => $self->{column} + 1,
+                     %opt, type => $type);
+   }; # $char_onerror
+   if ($_[3]) {
+     $input = $_[3]->($input);
+     $input->onerror ($char_onerror);
+   } else {
+     $input->onerror ($char_onerror) unless defined $input->onerror;
+   }
    $self->_initialize_tokenizer;
    $self->_initialize_tree_constructor;
    $self->_construct_tree;
-Line 798 
 sub new ($) {
+Line 790 
 sub new ($) {
                info => 'i',
                uncertain => 'u'},
    }, $class;
-   $self->{set_next_char} = sub {
+   $self->{set_nc} = sub {
-     $self->{next_char} = -1;
+     $self->{nc} = -1;
    };
    $self->{parse_error} = sub {
      #
-Line 816 
 sub new ($) {
+Line 808 
 sub new ($) {
    return $self;
  } # new
- sub CM_ENTITY () { 0b001 } # & markup in data
+ ## Insertion modes
- sub CM_LIMITED_MARKUP () { 0b010 } # < markup in data (limited)
- sub CM_FULL_MARKUP () { 0b100 } # < markup in data (any)
- sub PLAINTEXT_CONTENT_MODEL () { 0 }
- sub CDATA_CONTENT_MODEL () { CM_LIMITED_MARKUP }
- sub RCDATA_CONTENT_MODEL () { CM_ENTITY | CM_LIMITED_MARKUP }
- sub PCDATA_CONTENT_MODEL () { CM_ENTITY | CM_FULL_MARKUP }
- sub DATA_STATE () { 0 }
- #sub ENTITY_DATA_STATE () { 1 }
- sub TAG_OPEN_STATE () { 2 }
- sub CLOSE_TAG_OPEN_STATE () { 3 }
- sub TAG_NAME_STATE () { 4 }
- sub BEFORE_ATTRIBUTE_NAME_STATE () { 5 }
- sub ATTRIBUTE_NAME_STATE () { 6 }
- sub AFTER_ATTRIBUTE_NAME_STATE () { 7 }
- sub BEFORE_ATTRIBUTE_VALUE_STATE () { 8 }
- sub ATTRIBUTE_VALUE_DOUBLE_QUOTED_STATE () { 9 }
- sub ATTRIBUTE_VALUE_SINGLE_QUOTED_STATE () { 10 }
- sub ATTRIBUTE_VALUE_UNQUOTED_STATE () { 11 }
- #sub ENTITY_IN_ATTRIBUTE_VALUE_STATE () { 12 }
- sub MARKUP_DECLARATION_OPEN_STATE () { 13 }
- sub COMMENT_START_STATE () { 14 }
- sub COMMENT_START_DASH_STATE () { 15 }
- sub COMMENT_STATE () { 16 }
- sub COMMENT_END_STATE () { 17 }
- sub COMMENT_END_DASH_STATE () { 18 }
- sub BOGUS_COMMENT_STATE () { 19 }
- sub DOCTYPE_STATE () { 20 }
- sub BEFORE_DOCTYPE_NAME_STATE () { 21 }
- sub DOCTYPE_NAME_STATE () { 22 }
- sub AFTER_DOCTYPE_NAME_STATE () { 23 }
- sub BEFORE_DOCTYPE_PUBLIC_IDENTIFIER_STATE () { 24 }
- sub DOCTYPE_PUBLIC_IDENTIFIER_DOUBLE_QUOTED_STATE () { 25 }
- sub DOCTYPE_PUBLIC_IDENTIFIER_SINGLE_QUOTED_STATE () { 26 }
- sub AFTER_DOCTYPE_PUBLIC_IDENTIFIER_STATE () { 27 }
- sub BEFORE_DOCTYPE_SYSTEM_IDENTIFIER_STATE () { 28 }
- sub DOCTYPE_SYSTEM_IDENTIFIER_DOUBLE_QUOTED_STATE () { 29 }
- sub DOCTYPE_SYSTEM_IDENTIFIER_SINGLE_QUOTED_STATE () { 30 }
- sub AFTER_DOCTYPE_SYSTEM_IDENTIFIER_STATE () { 31 }
- sub BOGUS_DOCTYPE_STATE () { 32 }
- sub AFTER_ATTRIBUTE_VALUE_QUOTED_STATE () { 33 }
- sub SELF_CLOSING_START_TAG_STATE () { 34 }
- sub CDATA_SECTION_STATE () { 35 }
- sub MD_HYPHEN_STATE () { 36 } # "markup declaration open state" in the spec
- sub MD_DOCTYPE_STATE () { 37 } # "markup declaration open state" in the spec
- sub MD_CDATA_STATE () { 38 } # "markup declaration open state" in the spec
- sub CDATA_PCDATA_CLOSE_TAG_STATE () { 39 } # "close tag open state" in the spec
- sub CDATA_SECTION_MSE1_STATE () { 40 } # "CDATA section state" in the spec
- sub CDATA_SECTION_MSE2_STATE () { 41 } # "CDATA section state" in the spec
- sub PUBLIC_STATE () { 42 } # "after DOCTYPE name state" in the spec
- sub SYSTEM_STATE () { 43 } # "after DOCTYPE name state" in the spec
- ## NOTE: "Entity data state", "entity in attribute value state", and
- ## "consume a character reference" algorithm are jointly implemented
- ## using the following six states:
- sub ENTITY_STATE () { 44 }
- sub ENTITY_HASH_STATE () { 45 }
- sub NCR_NUM_STATE () { 46 }
- sub HEXREF_X_STATE () { 47 }
- sub HEXREF_HEX_STATE () { 48 }
- sub ENTITY_NAME_STATE () { 49 }
- sub DOCTYPE_TOKEN () { 1 }
- sub COMMENT_TOKEN () { 2 }
- sub START_TAG_TOKEN () { 3 }
- sub END_TAG_TOKEN () { 4 }
- sub END_OF_FILE_TOKEN () { 5 }
- sub CHARACTER_TOKEN () { 6 }
  sub AFTER_HTML_IMS () { 0b100 }
  sub HEAD_IMS ()       { 0b1000 }
-Line 895 
 sub ROW_IMS ()        { 0b10000000 }
+Line 819 
 sub ROW_IMS ()        { 0b10000000 }
  sub BODY_AFTER_IMS () { 0b100000000 }
  sub FRAME_IMS ()      { 0b1000000000 }
  sub SELECT_IMS ()     { 0b10000000000 }
- sub IN_FOREIGN_CONTENT_IM () { 0b100000000000 }
+ #sub IN_FOREIGN_CONTENT_IM () { 0b100000000000 } # see Whatpm::HTML::Tokenizer
      ## NOTE: "in foreign content" insertion mode is special; it is combined
      ## with the secondary insertion mode.  In this parser, they are stored
      ## together in the bit-or'ed form.
+ sub IN_CDATA_RCDATA_IM () { 0b1000000000000 }
+     ## NOTE: "in CDATA/RCDATA" insertion mode is also special; it is
+     ## combined with the original insertion mode.  In thie parser,
+     ## they are stored together in the bit-or'ed form.
+ sub IM_MASK () { 0b11111111111 }
  ## NOTE: "initial" and "before html" insertion modes have no constants.
-Line 925 
 sub IN_SELECT_IM () { SELECT_IMS | 0b01
+Line 855 
 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
- sub _initialize_tokenizer ($) {
-   my $self = shift;
-   $self->{state} = DATA_STATE; # MUST
-   #$self->{state_keyword}; # initialized when used
-   #$self->{entity__value}; # initialized when used
-   #$self->{entity__match}; # initialized when used
-   $self->{content_model} = PCDATA_CONTENT_MODEL; # be
-   undef $self->{current_token};
-   undef $self->{current_attribute};
-   undef $self->{last_emitted_start_tag_name};
-   #$self->{prev_state}; # initialized when used
-   delete $self->{self_closing};
-   $self->{char_buffer} = '';
-   $self->{char_buffer_pos} = 0;
-   $self->{prev_char} = [-1, -1, -1];
-   $self->{next_char} = -1;
-   !!!next-input-character;
-   $self->{token} = [];
-   # $self->{escape}
- } # _initialize_tokenizer
- ## A token has:
- ##   ->{type} == DOCTYPE_TOKEN, START_TAG_TOKEN, END_TAG_TOKEN, COMMENT_TOKEN,
- ##       CHARACTER_TOKEN, or END_OF_FILE_TOKEN
- ##   ->{name} (DOCTYPE_TOKEN)
- ##   ->{tag_name} (START_TAG_TOKEN, END_TAG_TOKEN)
- ##   ->{public_identifier} (DOCTYPE_TOKEN)
- ##   ->{system_identifier} (DOCTYPE_TOKEN)
- ##   ->{quirks} == 1 or 0 (DOCTYPE_TOKEN): "force-quirks" flag
- ##   ->{attributes} isa HASH (START_TAG_TOKEN, END_TAG_TOKEN)
- ##        ->{name}
- ##        ->{value}
- ##        ->{has_reference} == 1 or 0
- ##   ->{data} (COMMENT_TOKEN, CHARACTER_TOKEN)
- ## NOTE: The "self-closing flag" is hold as |$self->{self_closing}|.
- ##     |->{self_closing}| is used to save the value of |$self->{self_closing}|
- ##     while the token is pushed back to the stack.
- ## Emitted token MUST immediately be handled by the tree construction state.
- ## Before each step, UA MAY check to see if either one of the scripts in
- ## "list of scripts that will execute as soon as possible" or the first
- ## script in the "list of scripts that will execute asynchronously",
- ## has completed loading.  If one has, then it MUST be executed
- ## and removed from the list.
- ## TODO: Polytheistic slash SHOULD NOT be used. (Applied only to atheists.)
- ## (This requirement was dropped from HTML5 spec, unfortunately.)
- sub _get_next_token ($) {
-   my $self = shift;
-   if ($self->{self_closing}) {
-     !!!parse-error (type => 'nestc', token => $self->{current_token});
-     ## NOTE: The |self_closing| flag is only set by start tag token.
-     ## In addition, when a start tag token is emitted, it is always set to
-     ## |current_token|.
-     delete $self->{self_closing};
-   }
-   if (@{$self->{token}}) {
-     $self->{self_closing} = $self->{token}->[0]->{self_closing};
-     return shift @{$self->{token}};
-   }
-   A: {
-     if ($self->{state} == DATA_STATE) {
-       if ($self->{next_char} == 0x0026) { # &
-         if ($self->{content_model} & CM_ENTITY and # PCDATA | RCDATA
-             not $self->{escape}) {
-           !!!cp (1);
-           ## NOTE: In the spec, the tokenizer is switched to the
-           ## "entity data state".  In this implementation, the tokenizer
-           ## is switched to the |ENTITY_STATE|, which is an implementation
-           ## of the "consume a character reference" algorithm.
-           $self->{entity_additional} = -1;
-           $self->{prev_state} = DATA_STATE;
-           $self->{state} = ENTITY_STATE;
-           !!!next-input-character;
-           redo A;
-         } else {
-           !!!cp (2);
-           #
-         }
-       } elsif ($self->{next_char} == 0x002D) { # -
-         if ($self->{content_model} & CM_LIMITED_MARKUP) { # RCDATA | CDATA
-           unless ($self->{escape}) {
-             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);
-           }
-         }
-         #
-       } elsif ($self->{next_char} == 0x003C) { # <
-         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) { # >
-         if ($self->{escape} and
-             ($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) {
-         !!!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},
-                    line => $self->{line}, column => $self->{column},
-                   };
-       $self->{read_until}->($token->{data}, q[-!<>&], length $token->{data});
-       ## Stay in the data state
-       !!!next-input-character;
-       !!!emit ($token);
-       redo A;
-     } 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 => '<',
-                     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),
-                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}),
-                                     line => $self->{line_prev},
-                                     column => $self->{column_prev}};
-           $self->{state} = TAG_NAME_STATE;
-           !!!next-input-character;
-           redo A;
-         } elsif ($self->{next_char} == 0x003E) { # >
-           !!!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 => '<>',
-                     line => $self->{line_prev},
-                     column => $self->{column_prev},
-                    });
-           redo A;
-         } elsif ($self->{next_char} == 0x003F) { # ?
-           !!!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',
-                           line => $self->{line_prev},
-                           column => $self->{column_prev});
-           $self->{state} = DATA_STATE;
-           ## reconsume
-           !!!emit ({type => CHARACTER_TOKEN, data => '<',
-                     line => $self->{line_prev},
-                     column => $self->{column_prev},
-                    });
-           redo A;
-         }
-       } else {
-         die "$0: $self->{content_model} in tag open";
-       }
-     } elsif ($self->{state} == CLOSE_TAG_OPEN_STATE) {
-       ## NOTE: The "close tag open state" in the spec is implemented as
-       ## |CLOSE_TAG_OPEN_STATE| and |CDATA_PCDATA_CLOSE_TAG_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}) {
-           $self->{state} = CDATA_PCDATA_CLOSE_TAG_STATE;
-           $self->{state_keyword} = '';
-           ## Reconsume.
-           redo A;
-         } else {
-           ## No start tag token has ever been emitted
-           ## NOTE: See <http://krijnhoetmer.nl/irc-logs/whatwg/20070626#l-564>.
-           !!!cp (28);
-           $self->{state} = DATA_STATE;
-           ## Reconsume.
-           !!!emit ({type => CHARACTER_TOKEN, data => '</',
-                     line => $l, column => $c,
-                    });
-           redo A;
-         }
-       }
-       if (0x0041 <= $self->{next_char} and
-           $self->{next_char} <= 0x005A) { # A..Z
-         !!!cp (29);
-         $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}),
-                                   line => $l, column => $c};
-         $self->{state} = TAG_NAME_STATE;
-         !!!next-input-character;
-         redo A;
-       } elsif ($self->{next_char} == 0x003E) { # >
-         !!!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 => '</',
-                   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,
-                                  };
-         ## NOTE: $self->{next_char} is intentionally left as is.
-         ## Although the "anything else" case of the spec not explicitly
-         ## states that the next input character is to be reconsumed,
-         ## it will be included to the |data| of the comment token
-         ## generated from the bogus end tag, as defined in the
-         ## "bogus comment state" entry.
-         redo A;
-       }
-     } elsif ($self->{state} == CDATA_PCDATA_CLOSE_TAG_STATE) {
-       my $ch = substr $self->{last_emitted_start_tag_name}, length $self->{state_keyword}, 1;
-       if (length $ch) {
-         my $CH = $ch;
-         $ch =~ tr/a-z/A-Z/;
-         my $nch = chr $self->{next_char};
-         if ($nch eq $ch or $nch eq $CH) {
-           !!!cp (24);
-           ## Stay in the state.
-           $self->{state_keyword} .= $nch;
-           !!!next-input-character;
-           redo A;
-         } else {
-           !!!cp (25);
-           $self->{state} = DATA_STATE;
-           ## Reconsume.
-           !!!emit ({type => CHARACTER_TOKEN,
-                     data => '</' . $self->{state_keyword},
-                     line => $self->{line_prev},
-                     column => $self->{column_prev} - 1 - length $self->{state_keyword},
-                    });
-           redo A;
-         }
-       } else { # after "<{tag-name}"
-         unless ({
-x0009 => 1, # HT
-x000A => 1, # LF
-x000B => 1, # VT
-x000C => 1, # FF
-x0020 => 1, # SP
-x003E => 1, # >
-x002F => 1, # /
-                  -1 => 1, # EOF
-                 }->{$self->{next_char}}) {
-           !!!cp (26);
-           ## Reconsume.
-           $self->{state} = DATA_STATE;
-           !!!emit ({type => CHARACTER_TOKEN,
-                     data => '</' . $self->{state_keyword},
-                     line => $self->{line_prev},
-                     column => $self->{column_prev} - 1 - length $self->{state_keyword},
-                    });
-           redo A;
-         } else {
-           !!!cp (27);
-           $self->{current_token}
-               = {type => END_TAG_TOKEN,
-                  tag_name => $self->{last_emitted_start_tag_name},
-                  line => $self->{line_prev},
-                  column => $self->{column_prev} - 1 - length $self->{state_keyword}};
-           $self->{state} = TAG_NAME_STATE;
-           ## Reconsume.
-           redo A;
-         }
-       }
-     } elsif ($self->{state} == TAG_NAME_STATE) {
-       if ($self->{next_char} == 0x0009 or # HT
-           $self->{next_char} == 0x000A or # LF
-           $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) {
-           !!!cp (35);
-           $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}) {
-           #  ## 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";
-         }
-         $self->{state} = DATA_STATE;
-         !!!next-input-character;
-         !!!emit ($self->{current_token}); # start tag or end tag
-         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
-         !!!next-input-character;
-         redo A;
-       } elsif ($self->{next_char} == -1) {
-         !!!parse-error (type => 'unclosed tag');
-         if ($self->{current_token}->{type} == START_TAG_TOKEN) {
-           !!!cp (39);
-           $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}) {
-           #  ## 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";
-         }
-         $self->{state} = DATA_STATE;
-         # reconsume
-         !!!emit ($self->{current_token}); # start tag or end tag
-         redo A;
-       } elsif ($self->{next_char} == 0x002F) { # /
-         !!!cp (42);
-         $self->{state} = SELF_CLOSING_START_TAG_STATE;
-         !!!next-input-character;
-         redo A;
-       } else {
-         !!!cp (44);
-         $self->{current_token}->{tag_name} .= chr $self->{next_char};
-           # start tag or end tag
-         ## Stay in the state
-         !!!next-input-character;
-         redo A;
-       }
-     } elsif ($self->{state} == BEFORE_ATTRIBUTE_NAME_STATE) {
-       if ($self->{next_char} == 0x0009 or # HT
-           $self->{next_char} == 0x000A or # LF
-           $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) {
-           !!!cp (46);
-           $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";
-         }
-         $self->{state} = DATA_STATE;
-         !!!next-input-character;
-         !!!emit ($self->{current_token}); # start tag or end tag
-         redo A;
-       } elsif (0x0041 <= $self->{next_char} and
-                $self->{next_char} <= 0x005A) { # A..Z
-         !!!cp (49);
-         $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;
-       } elsif ($self->{next_char} == 0x002F) { # /
-         !!!cp (50);
-         $self->{state} = SELF_CLOSING_START_TAG_STATE;
-         !!!next-input-character;
-         redo A;
-       } elsif ($self->{next_char} == -1) {
-         !!!parse-error (type => 'unclosed tag');
-         if ($self->{current_token}->{type} == START_TAG_TOKEN) {
-           !!!cp (52);
-           $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";
-         }
-         $self->{state} = DATA_STATE;
-         # reconsume
-         !!!emit ($self->{current_token}); # start tag or end tag
-         redo A;
-       } else {
-         if ({
-x0022 => 1, # "
-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}),
-                value => '',
-                line => $self->{line}, column => $self->{column}};
-         $self->{state} = ATTRIBUTE_NAME_STATE;
-         !!!next-input-character;
-         redo A;
-       }
-     } elsif ($self->{state} == ATTRIBUTE_NAME_STATE) {
-       my $before_leave = sub {
-         if (exists $self->{current_token}->{attributes} # start tag or end tag
-             ->{$self->{current_attribute}->{name}}) { # MUST
-           !!!cp (57);
-           !!!parse-error (type => 'duplicate attribute', text => $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};
-         }
-       }; # $before_leave
-       if ($self->{next_char} == 0x0009 or # HT
-           $self->{next_char} == 0x000A or # LF
-           $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;
-         redo A;
-       } elsif ($self->{next_char} == 0x003E) { # >
-         $before_leave->();
-         if ($self->{current_token}->{type} == START_TAG_TOKEN) {
-           !!!cp (61);
-           $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');
-           }
-         } else {
-           die "$0: $self->{current_token}->{type}: Unknown token type";
-         }
-         $self->{state} = DATA_STATE;
-         !!!next-input-character;
-         !!!emit ($self->{current_token}); # start tag or end tag
-         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;
-         redo A;
-       } elsif ($self->{next_char} == 0x002F) { # /
-         !!!cp (64);
-         $before_leave->();
-         $self->{state} = SELF_CLOSING_START_TAG_STATE;
-         !!!next-input-character;
-         redo A;
-       } elsif ($self->{next_char} == -1) {
-         !!!parse-error (type => 'unclosed tag');
-         $before_leave->();
-         if ($self->{current_token}->{type} == START_TAG_TOKEN) {
-           !!!cp (66);
-           $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";
-         }
-         $self->{state} = DATA_STATE;
-         # reconsume
-         !!!emit ($self->{current_token}); # start tag or end tag
-         redo A;
-       } 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
-         !!!next-input-character;
-         redo A;
-       }
-     } elsif ($self->{state} == AFTER_ATTRIBUTE_NAME_STATE) {
-       if ($self->{next_char} == 0x0009 or # HT
-           $self->{next_char} == 0x000A or # LF
-           $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) {
-           !!!cp (73);
-           $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";
-         }
-         $self->{state} = DATA_STATE;
-         !!!next-input-character;
-         !!!emit ($self->{current_token}); # start tag or end tag
-         redo A;
-       } elsif (0x0041 <= $self->{next_char} and
-                $self->{next_char} <= 0x005A) { # A..Z
-         !!!cp (76);
-         $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;
-       } elsif ($self->{next_char} == 0x002F) { # /
-         !!!cp (77);
-         $self->{state} = SELF_CLOSING_START_TAG_STATE;
-         !!!next-input-character;
-         redo A;
-       } elsif ($self->{next_char} == -1) {
-         !!!parse-error (type => 'unclosed tag');
-         if ($self->{current_token}->{type} == START_TAG_TOKEN) {
-           !!!cp (79);
-           $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";
-         }
-         $self->{state} = DATA_STATE;
-         # reconsume
-         !!!emit ($self->{current_token}); # start tag or end tag
-         redo A;
-       } else {
-         if ($self->{next_char} == 0x0022 or # "
-             $self->{next_char} == 0x0027) { # '
-           !!!cp (78);
-           !!!parse-error (type => 'bad attribute name');
-         } else {
-           !!!cp (82);
-         }
-         $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;
-       }
-     } elsif ($self->{state} == BEFORE_ATTRIBUTE_VALUE_STATE) {
-       if ($self->{next_char} == 0x0009 or # HT
-           $self->{next_char} == 0x000A or # LF
-           $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) { # >
-         !!!parse-error (type => 'empty unquoted attribute value');
-         if ($self->{current_token}->{type} == START_TAG_TOKEN) {
-           !!!cp (87);
-           $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";
-         }
-         $self->{state} = DATA_STATE;
-         !!!next-input-character;
-         !!!emit ($self->{current_token}); # start tag or end tag
-         redo A;
-       } elsif ($self->{next_char} == -1) {
-         !!!parse-error (type => 'unclosed tag');
-         if ($self->{current_token}->{type} == START_TAG_TOKEN) {
-           !!!cp (90);
-           $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";
-         }
-         $self->{state} = DATA_STATE;
-         ## reconsume
-         !!!emit ($self->{current_token}); # start tag or end tag
-         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;
-         !!!next-input-character;
-         redo A;
-       }
-     } 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);
-         ## NOTE: In the spec, the tokenizer is switched to the
-         ## "entity in attribute value state".  In this implementation, the
-         ## tokenizer is switched to the |ENTITY_STATE|, which is an
-         ## implementation of the "consume a character reference" algorithm.
-         $self->{prev_state} = $self->{state};
-         $self->{entity_additional} = 0x0022; # "
-         $self->{state} = ENTITY_STATE;
-         !!!next-input-character;
-         redo A;
-       } elsif ($self->{next_char} == -1) {
-         !!!parse-error (type => 'unclosed attribute value');
-         if ($self->{current_token}->{type} == START_TAG_TOKEN) {
-           !!!cp (97);
-           $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";
-         }
-         $self->{state} = DATA_STATE;
-         ## reconsume
-         !!!emit ($self->{current_token}); # start tag or end tag
-         redo A;
-       } else {
-         !!!cp (100);
-         $self->{current_attribute}->{value} .= chr ($self->{next_char});
-         $self->{read_until}->($self->{current_attribute}->{value},
-                               q["&],
-                               length $self->{current_attribute}->{value});
-         ## Stay in the state
-         !!!next-input-character;
-         redo A;
-       }
-     } 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);
-         ## NOTE: In the spec, the tokenizer is switched to the
-         ## "entity in attribute value state".  In this implementation, the
-         ## tokenizer is switched to the |ENTITY_STATE|, which is an
-         ## implementation of the "consume a character reference" algorithm.
-         $self->{entity_additional} = 0x0027; # '
-         $self->{prev_state} = $self->{state};
-         $self->{state} = ENTITY_STATE;
-         !!!next-input-character;
-         redo A;
-       } elsif ($self->{next_char} == -1) {
-         !!!parse-error (type => 'unclosed attribute value');
-         if ($self->{current_token}->{type} == START_TAG_TOKEN) {
-           !!!cp (103);
-           $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";
-         }
-         $self->{state} = DATA_STATE;
-         ## reconsume
-         !!!emit ($self->{current_token}); # start tag or end tag
-         redo A;
-       } else {
-         !!!cp (106);
-         $self->{current_attribute}->{value} .= chr ($self->{next_char});
-         $self->{read_until}->($self->{current_attribute}->{value},
-                               q['&],
-                               length $self->{current_attribute}->{value});
-         ## Stay in the state
-         !!!next-input-character;
-         redo A;
-       }
-     } elsif ($self->{state} == ATTRIBUTE_VALUE_UNQUOTED_STATE) {
-       if ($self->{next_char} == 0x0009 or # HT
-           $self->{next_char} == 0x000A or # LF
-           $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);
-         ## NOTE: In the spec, the tokenizer is switched to the
-         ## "entity in attribute value state".  In this implementation, the
-         ## tokenizer is switched to the |ENTITY_STATE|, which is an
-         ## implementation of the "consume a character reference" algorithm.
-         $self->{entity_additional} = -1;
-         $self->{prev_state} = $self->{state};
-         $self->{state} = ENTITY_STATE;
-         !!!next-input-character;
-         redo A;
-       } elsif ($self->{next_char} == 0x003E) { # >
-         if ($self->{current_token}->{type} == START_TAG_TOKEN) {
-           !!!cp (109);
-           $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";
-         }
-         $self->{state} = DATA_STATE;
-         !!!next-input-character;
-         !!!emit ($self->{current_token}); # start tag or end tag
-         redo A;
-       } elsif ($self->{next_char} == -1) {
-         !!!parse-error (type => 'unclosed tag');
-         if ($self->{current_token}->{type} == START_TAG_TOKEN) {
-           !!!cp (112);
-           $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";
-         }
-         $self->{state} = DATA_STATE;
-         ## reconsume
-         !!!emit ($self->{current_token}); # start tag or end tag
-         redo A;
-       } else {
-         if ({
-x0022 => 1, # "
-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});
-         $self->{read_until}->($self->{current_attribute}->{value},
-                               q["'=& >],
-                               length $self->{current_attribute}->{value});
-         ## Stay in the state
-         !!!next-input-character;
-         redo A;
-       }
-     } elsif ($self->{state} == AFTER_ATTRIBUTE_VALUE_QUOTED_STATE) {
-       if ($self->{next_char} == 0x0009 or # HT
-           $self->{next_char} == 0x000A or # LF
-           $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) {
-           !!!cp (119);
-           $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";
-         }
-         $self->{state} = DATA_STATE;
-         !!!next-input-character;
-         !!!emit ($self->{current_token}); # start tag or end tag
-         redo A;
-       } elsif ($self->{next_char} == 0x002F) { # /
-         !!!cp (122);
-         $self->{state} = SELF_CLOSING_START_TAG_STATE;
-         !!!next-input-character;
-         redo A;
-       } elsif ($self->{next_char} == -1) {
-         !!!parse-error (type => 'unclosed tag');
-         if ($self->{current_token}->{type} == START_TAG_TOKEN) {
-           !!!cp (122.3);
-           $self->{last_emitted_start_tag_name} = $self->{current_token}->{tag_name};
-         } elsif ($self->{current_token}->{type} == END_TAG_TOKEN) {
-           if ($self->{current_token}->{attributes}) {
-             !!!cp (122.1);
-             !!!parse-error (type => 'end tag attribute');
-           } else {
-             ## NOTE: This state should never be reached.
-             !!!cp (122.2);
-           }
-         } else {
-           die "$0: $self->{current_token}->{type}: Unknown token type";
-         }
-         $self->{state} = DATA_STATE;
-         ## Reconsume.
-         !!!emit ($self->{current_token}); # start tag or end tag
-         redo A;
-       } else {
-         !!!cp ('124.1');
-         !!!parse-error (type => 'no space between attributes');
-         $self->{state} = BEFORE_ATTRIBUTE_NAME_STATE;
-         ## reconsume
-         redo A;
-       }
-     } elsif ($self->{state} == SELF_CLOSING_START_TAG_STATE) {
-       if ($self->{next_char} == 0x003E) { # >
-         if ($self->{current_token}->{type} == END_TAG_TOKEN) {
-           !!!cp ('124.2');
-           !!!parse-error (type => 'nestc', token => $self->{current_token});
-           ## TODO: Different type than slash in start tag
-           $self->{content_model} = PCDATA_CONTENT_MODEL; # MUST
-           if ($self->{current_token}->{attributes}) {
-             !!!cp ('124.4');
-             !!!parse-error (type => 'end tag attribute');
-           } else {
-             !!!cp ('124.5');
-           }
-           ## TODO: Test |<title></title/>|
-         } else {
-           !!!cp ('124.3');
-           $self->{self_closing} = 1;
-         }
-         $self->{state} = DATA_STATE;
-         !!!next-input-character;
-         !!!emit ($self->{current_token}); # start tag or end tag
-         redo A;
-       } elsif ($self->{next_char} == -1) {
-         !!!parse-error (type => 'unclosed tag');
-         if ($self->{current_token}->{type} == START_TAG_TOKEN) {
-           !!!cp (124.7);
-           $self->{last_emitted_start_tag_name} = $self->{current_token}->{tag_name};
-         } elsif ($self->{current_token}->{type} == END_TAG_TOKEN) {
-           if ($self->{current_token}->{attributes}) {
-             !!!cp (124.5);
-             !!!parse-error (type => 'end tag attribute');
-           } else {
-             ## NOTE: This state should never be reached.
-             !!!cp (124.6);
-           }
-         } else {
-           die "$0: $self->{current_token}->{type}: Unknown token type";
-         }
-         $self->{state} = DATA_STATE;
-         ## Reconsume.
-         !!!emit ($self->{current_token}); # start tag or end tag
-         redo A;
-       } else {
-         !!!cp ('124.4');
-         !!!parse-error (type => 'nestc');
-         ## TODO: This error type is wrong.
-         $self->{state} = BEFORE_ATTRIBUTE_NAME_STATE;
-         ## Reconsume.
-         redo A;
-       }
-     } elsif ($self->{state} == BOGUS_COMMENT_STATE) {
-       ## (only happen if PCDATA state)
-       ## NOTE: Unlike spec's "bogus comment state", this implementation
-       ## consumes characters one-by-one basis.
-       if ($self->{next_char} == 0x003E) { # >
-         !!!cp (124);
-         $self->{state} = DATA_STATE;
-         !!!next-input-character;
-         !!!emit ($self->{current_token}); # comment
-         redo A;
-       } elsif ($self->{next_char} == -1) {
-         !!!cp (125);
-         $self->{state} = DATA_STATE;
-         ## reconsume
-         !!!emit ($self->{current_token}); # comment
-         redo A;
-       } else {
-         !!!cp (126);
-         $self->{current_token}->{data} .= chr ($self->{next_char}); # comment
-         $self->{read_until}->($self->{current_token}->{data},
-                               q[>],
-                               length $self->{current_token}->{data});
-         ## Stay in the state.
-         !!!next-input-character;
-         redo A;
-       }
-     } elsif ($self->{state} == MARKUP_DECLARATION_OPEN_STATE) {
-       ## (only happen if PCDATA state)
-       if ($self->{next_char} == 0x002D) { # -
-         !!!cp (133);
-         $self->{state} = MD_HYPHEN_STATE;
-         !!!next-input-character;
-         redo A;
-       } elsif ($self->{next_char} == 0x0044 or # D
-                $self->{next_char} == 0x0064) { # d
-         ## ASCII case-insensitive.
-         !!!cp (130);
-         $self->{state} = MD_DOCTYPE_STATE;
-         $self->{state_keyword} = chr $self->{next_char};
-         !!!next-input-character;
-         redo A;
-       } elsif ($self->{insertion_mode} & IN_FOREIGN_CONTENT_IM and
-                $self->{open_elements}->[-1]->[1] & FOREIGN_EL and
-                $self->{next_char} == 0x005B) { # [
-         !!!cp (135.4);
-         $self->{state} = MD_CDATA_STATE;
-         $self->{state_keyword} = '[';
-         !!!next-input-character;
-         redo A;
-       } else {
-         !!!cp (136);
-       }
-       !!!parse-error (type => 'bogus comment',
-                       line => $self->{line_prev},
-                       column => $self->{column_prev} - 1);
-       ## Reconsume.
-       $self->{state} = BOGUS_COMMENT_STATE;
-       $self->{current_token} = {type => COMMENT_TOKEN, data => '',
-                                 line => $self->{line_prev},
-                                 column => $self->{column_prev} - 1,
-                                };
-       redo A;
-     } elsif ($self->{state} == MD_HYPHEN_STATE) {
-       if ($self->{next_char} == 0x002D) { # -
-         !!!cp (127);
-         $self->{current_token} = {type => COMMENT_TOKEN, data => '',
-                                   line => $self->{line_prev},
-                                   column => $self->{column_prev} - 2,
-                                  };
-         $self->{state} = COMMENT_START_STATE;
-         !!!next-input-character;
-         redo A;
-       } else {
-         !!!cp (128);
-         !!!parse-error (type => 'bogus comment',
-                         line => $self->{line_prev},
-                         column => $self->{column_prev} - 2);
-         $self->{state} = BOGUS_COMMENT_STATE;
-         ## Reconsume.
-         $self->{current_token} = {type => COMMENT_TOKEN,
-                                   data => '-',
-                                   line => $self->{line_prev},
-                                   column => $self->{column_prev} - 2,
-                                  };
-         redo A;
-       }
-     } elsif ($self->{state} == MD_DOCTYPE_STATE) {
-       ## ASCII case-insensitive.
-       if ($self->{next_char} == [
-             undef,
-x004F, # O
-x0043, # C
-x0054, # T
-x0059, # Y
-x0050, # P
-           ]->[length $self->{state_keyword}] or
-           $self->{next_char} == [
-             undef,
-x006F, # o
-x0063, # c
-x0074, # t
-x0079, # y
-x0070, # p
-           ]->[length $self->{state_keyword}]) {
-         !!!cp (131);
-         ## Stay in the state.
-         $self->{state_keyword} .= chr $self->{next_char};
-         !!!next-input-character;
-         redo A;
-       } elsif ((length $self->{state_keyword}) == 6 and
-                ($self->{next_char} == 0x0045 or # E
-                 $self->{next_char} == 0x0065)) { # e
-         !!!cp (129);
-         $self->{state} = DOCTYPE_STATE;
-         $self->{current_token} = {type => DOCTYPE_TOKEN,
-                                   quirks => 1,
-                                   line => $self->{line_prev},
-                                   column => $self->{column_prev} - 7,
-                                  };
-         !!!next-input-character;
-         redo A;
-       } else {
-         !!!cp (132);
-         !!!parse-error (type => 'bogus comment',
-                         line => $self->{line_prev},
-                         column => $self->{column_prev} - 1 - length $self->{state_keyword});
-         $self->{state} = BOGUS_COMMENT_STATE;
-         ## Reconsume.
-         $self->{current_token} = {type => COMMENT_TOKEN,
-                                   data => $self->{state_keyword},
-                                   line => $self->{line_prev},
-                                   column => $self->{column_prev} - 1 - length $self->{state_keyword},
-                                  };
-         redo A;
-       }
-     } elsif ($self->{state} == MD_CDATA_STATE) {
-       if ($self->{next_char} == {
-             '[' => 0x0043, # C
-             '[C' => 0x0044, # D
-             '[CD' => 0x0041, # A
-             '[CDA' => 0x0054, # T
-             '[CDAT' => 0x0041, # A
-           }->{$self->{state_keyword}}) {
-         !!!cp (135.1);
-         ## Stay in the state.
-         $self->{state_keyword} .= chr $self->{next_char};
-         !!!next-input-character;
-         redo A;
-       } elsif ($self->{state_keyword} eq '[CDATA' and
-                $self->{next_char} == 0x005B) { # [
-         !!!cp (135.2);
-         $self->{current_token} = {type => CHARACTER_TOKEN,
-                                   data => '',
-                                   line => $self->{line_prev},
-                                   column => $self->{column_prev} - 7};
-         $self->{state} = CDATA_SECTION_STATE;
-         !!!next-input-character;
-         redo A;
-       } else {
-         !!!cp (135.3);
-         !!!parse-error (type => 'bogus comment',
-                         line => $self->{line_prev},
-                         column => $self->{column_prev} - 1 - length $self->{state_keyword});
-         $self->{state} = BOGUS_COMMENT_STATE;
-         ## Reconsume.
-         $self->{current_token} = {type => COMMENT_TOKEN,
-                                   data => $self->{state_keyword},
-                                   line => $self->{line_prev},
-                                   column => $self->{column_prev} - 1 - length $self->{state_keyword},
-                                  };
-         redo A;
-       }
-     } 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;
-         !!!emit ($self->{current_token}); # comment
-         redo A;
-       } elsif ($self->{next_char} == -1) {
-         !!!cp (139);
-         !!!parse-error (type => 'unclosed comment');
-         $self->{state} = DATA_STATE;
-         ## reconsume
-         !!!emit ($self->{current_token}); # comment
-         redo A;
-       } else {
-         !!!cp (140);
-         $self->{current_token}->{data} # comment
-             .= chr ($self->{next_char});
-         $self->{state} = COMMENT_STATE;
-         !!!next-input-character;
-         redo A;
-       }
-     } 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;
-         !!!emit ($self->{current_token}); # comment
-         redo A;
-       } elsif ($self->{next_char} == -1) {
-         !!!cp (143);
-         !!!parse-error (type => 'unclosed comment');
-         $self->{state} = DATA_STATE;
-         ## reconsume
-         !!!emit ($self->{current_token}); # comment
-         redo A;
-       } else {
-         !!!cp (144);
-         $self->{current_token}->{data} # comment
-             .= '-' . chr ($self->{next_char});
-         $self->{state} = COMMENT_STATE;
-         !!!next-input-character;
-         redo A;
-       }
-     } 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
-         !!!emit ($self->{current_token}); # comment
-         redo A;
-       } else {
-         !!!cp (147);
-         $self->{current_token}->{data} .= chr ($self->{next_char}); # comment
-         $self->{read_until}->($self->{current_token}->{data},
-                               q[-],
-                               length $self->{current_token}->{data});
-         ## Stay in the state
-         !!!next-input-character;
-         redo A;
-       }
-     } 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
-         !!!emit ($self->{current_token}); # comment
-         redo A;
-       } else {
-         !!!cp (150);
-         $self->{current_token}->{data} .= '-' . chr ($self->{next_char}); # comment
-         $self->{state} = COMMENT_STATE;
-         !!!next-input-character;
-         redo A;
-       }
-     } elsif ($self->{state} == COMMENT_END_STATE) {
-       if ($self->{next_char} == 0x003E) { # >
-         !!!cp (151);
-         $self->{state} = DATA_STATE;
-         !!!next-input-character;
-         !!!emit ($self->{current_token}); # comment
-         redo A;
-       } elsif ($self->{next_char} == 0x002D) { # -
-         !!!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
-         !!!emit ($self->{current_token}); # comment
-         redo A;
-       } else {
-         !!!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;
-         redo A;
-       }
-     } elsif ($self->{state} == DOCTYPE_STATE) {
-       if ($self->{next_char} == 0x0009 or # HT
-           $self->{next_char} == 0x000A or # LF
-           $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
-         redo A;
-       }
-     } elsif ($self->{state} == BEFORE_DOCTYPE_NAME_STATE) {
-       if ($self->{next_char} == 0x0009 or # HT
-           $self->{next_char} == 0x000A or # LF
-           $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 ($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 ($self->{current_token}); # DOCTYPE (quirks)
-         redo A;
-       } else {
-         !!!cp (160);
-         $self->{current_token}->{name} = chr $self->{next_char};
-         delete $self->{current_token}->{quirks};
- ## ISSUE: "Set the token's name name to the" in the spec
-         $self->{state} = DOCTYPE_NAME_STATE;
-         !!!next-input-character;
-         redo A;
-       }
-     } elsif ($self->{state} == DOCTYPE_NAME_STATE) {
- ## ISSUE: Redundant "First," in the spec.
-       if ($self->{next_char} == 0x0009 or # HT
-           $self->{next_char} == 0x000A or # LF
-           $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;
-         !!!emit ($self->{current_token}); # DOCTYPE
-         redo A;
-       } elsif ($self->{next_char} == -1) {
-         !!!cp (163);
-         !!!parse-error (type => 'unclosed DOCTYPE');
-         $self->{state} = DATA_STATE;
-         ## reconsume
-         $self->{current_token}->{quirks} = 1;
-         !!!emit ($self->{current_token}); # DOCTYPE
-         redo A;
-       } else {
-         !!!cp (164);
-         $self->{current_token}->{name}
-           .= chr ($self->{next_char}); # DOCTYPE
-         ## Stay in the state
-         !!!next-input-character;
-         redo A;
-       }
-     } elsif ($self->{state} == AFTER_DOCTYPE_NAME_STATE) {
-       if ($self->{next_char} == 0x0009 or # HT
-           $self->{next_char} == 0x000A or # LF
-           $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;
-         !!!emit ($self->{current_token}); # DOCTYPE
-         redo A;
-       } elsif ($self->{next_char} == -1) {
-         !!!cp (167);
-         !!!parse-error (type => 'unclosed DOCTYPE');
-         $self->{state} = DATA_STATE;
-         ## reconsume
-         $self->{current_token}->{quirks} = 1;
-         !!!emit ($self->{current_token}); # DOCTYPE
-         redo A;
-       } elsif ($self->{next_char} == 0x0050 or # P
-                $self->{next_char} == 0x0070) { # p
-         $self->{state} = PUBLIC_STATE;
-         $self->{state_keyword} = chr $self->{next_char};
-         !!!next-input-character;
-         redo A;
-       } elsif ($self->{next_char} == 0x0053 or # S
-                $self->{next_char} == 0x0073) { # s
-         $self->{state} = SYSTEM_STATE;
-         $self->{state_keyword} = chr $self->{next_char};
-         !!!next-input-character;
-         redo A;
-       } else {
-         !!!cp (180);
-         !!!parse-error (type => 'string after DOCTYPE name');
-         $self->{current_token}->{quirks} = 1;
-         $self->{state} = BOGUS_DOCTYPE_STATE;
-         !!!next-input-character;
-         redo A;
-       }
-     } elsif ($self->{state} == PUBLIC_STATE) {
-       ## ASCII case-insensitive
-       if ($self->{next_char} == [
-             undef,
-x0055, # U
-x0042, # B
-x004C, # L
-x0049, # I
-           ]->[length $self->{state_keyword}] or
-           $self->{next_char} == [
-             undef,
-x0075, # u
-x0062, # b
-x006C, # l
-x0069, # i
-           ]->[length $self->{state_keyword}]) {
-         !!!cp (175);
-         ## Stay in the state.
-         $self->{state_keyword} .= chr $self->{next_char};
-         !!!next-input-character;
-         redo A;
-       } elsif ((length $self->{state_keyword}) == 5 and
-                ($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);
-         !!!parse-error (type => 'string after DOCTYPE name',
-                         line => $self->{line_prev},
-                         column => $self->{column_prev} + 1 - length $self->{state_keyword});
-         $self->{current_token}->{quirks} = 1;
-         $self->{state} = BOGUS_DOCTYPE_STATE;
-         ## Reconsume.
-         redo A;
-       }
-     } elsif ($self->{state} == SYSTEM_STATE) {
-       ## ASCII case-insensitive
-       if ($self->{next_char} == [
-             undef,
-x0059, # Y
-x0053, # S
-x0054, # T
-x0045, # E
-           ]->[length $self->{state_keyword}] or
-           $self->{next_char} == [
-             undef,
-x0079, # y
-x0073, # s
-x0074, # t
-x0065, # e
-           ]->[length $self->{state_keyword}]) {
-         !!!cp (170);
-         ## Stay in the state.
-         $self->{state_keyword} .= chr $self->{next_char};
-         !!!next-input-character;
-         redo A;
-       } elsif ((length $self->{state_keyword}) == 5 and
-                ($self->{next_char} == 0x004D or # M
-                 $self->{next_char} == 0x006D)) { # m
-         !!!cp (171);
-         $self->{state} = BEFORE_DOCTYPE_SYSTEM_IDENTIFIER_STATE;
-         !!!next-input-character;
-         redo A;
-       } else {
-         !!!cp (172);
-         !!!parse-error (type => 'string after DOCTYPE name',
-                         line => $self->{line_prev},
-                         column => $self->{column_prev} + 1 - length $self->{state_keyword});
-         $self->{current_token}->{quirks} = 1;
-         $self->{state} = BOGUS_DOCTYPE_STATE;
-         ## Reconsume.
-         redo A;
-       }
-     } elsif ($self->{state} == BEFORE_DOCTYPE_PUBLIC_IDENTIFIER_STATE) {
-       if ({
-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;
-         !!!next-input-character;
-         $self->{current_token}->{quirks} = 1;
-         !!!emit ($self->{current_token}); # DOCTYPE
-         redo A;
-       } elsif ($self->{next_char} == -1) {
-         !!!cp (185);
-         !!!parse-error (type => 'unclosed DOCTYPE');
-         $self->{state} = DATA_STATE;
-         ## reconsume
-         $self->{current_token}->{quirks} = 1;
-         !!!emit ($self->{current_token}); # DOCTYPE
-         redo A;
-       } else {
-         !!!cp (186);
-         !!!parse-error (type => 'string after PUBLIC');
-         $self->{current_token}->{quirks} = 1;
-         $self->{state} = BOGUS_DOCTYPE_STATE;
-         !!!next-input-character;
-         redo A;
-       }
-     } 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;
-         !!!next-input-character;
-         $self->{current_token}->{quirks} = 1;
-         !!!emit ($self->{current_token}); # DOCTYPE
-         redo A;
-       } elsif ($self->{next_char} == -1) {
-         !!!cp (189);
-         !!!parse-error (type => 'unclosed PUBLIC literal');
-         $self->{state} = DATA_STATE;
-         ## reconsume
-         $self->{current_token}->{quirks} = 1;
-         !!!emit ($self->{current_token}); # DOCTYPE
-         redo A;
-       } else {
-         !!!cp (190);
-         $self->{current_token}->{public_identifier} # DOCTYPE
-             .= chr $self->{next_char};
-         $self->{read_until}->($self->{current_token}->{public_identifier},
-                               q[">],
-                               length $self->{current_token}->{public_identifier});
-         ## Stay in the state
-         !!!next-input-character;
-         redo A;
-       }
-     } 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;
-         !!!next-input-character;
-         $self->{current_token}->{quirks} = 1;
-         !!!emit ($self->{current_token}); # DOCTYPE
-         redo A;
-       } elsif ($self->{next_char} == -1) {
-         !!!cp (193);
-         !!!parse-error (type => 'unclosed PUBLIC literal');
-         $self->{state} = DATA_STATE;
-         ## reconsume
-         $self->{current_token}->{quirks} = 1;
-         !!!emit ($self->{current_token}); # DOCTYPE
-         redo A;
-       } else {
-         !!!cp (194);
-         $self->{current_token}->{public_identifier} # DOCTYPE
-             .= chr $self->{next_char};
-         $self->{read_until}->($self->{current_token}->{public_identifier},
-                               q['>],
-                               length $self->{current_token}->{public_identifier});
-         ## Stay in the state
-         !!!next-input-character;
-         redo A;
-       }
-     } elsif ($self->{state} == AFTER_DOCTYPE_PUBLIC_IDENTIFIER_STATE) {
-       if ({
-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;
-         !!!emit ($self->{current_token}); # DOCTYPE
-         redo A;
-       } elsif ($self->{next_char} == -1) {
-         !!!cp (199);
-         !!!parse-error (type => 'unclosed DOCTYPE');
-         $self->{state} = DATA_STATE;
-         ## reconsume
-         $self->{current_token}->{quirks} = 1;
-         !!!emit ($self->{current_token}); # DOCTYPE
-         redo A;
-       } else {
-         !!!cp (200);
-         !!!parse-error (type => 'string after PUBLIC literal');
-         $self->{current_token}->{quirks} = 1;
-         $self->{state} = BOGUS_DOCTYPE_STATE;
-         !!!next-input-character;
-         redo A;
-       }
-     } elsif ($self->{state} == BEFORE_DOCTYPE_SYSTEM_IDENTIFIER_STATE) {
-       if ({
-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;
-         $self->{current_token}->{quirks} = 1;
-         !!!emit ($self->{current_token}); # DOCTYPE
-         redo A;
-       } elsif ($self->{next_char} == -1) {
-         !!!cp (205);
-         !!!parse-error (type => 'unclosed DOCTYPE');
-         $self->{state} = DATA_STATE;
-         ## reconsume
-         $self->{current_token}->{quirks} = 1;
-         !!!emit ($self->{current_token}); # DOCTYPE
-         redo A;
-       } else {
-         !!!cp (206);
-         !!!parse-error (type => 'string after SYSTEM');
-         $self->{current_token}->{quirks} = 1;
-         $self->{state} = BOGUS_DOCTYPE_STATE;
-         !!!next-input-character;
-         redo A;
-       }
-     } 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 SYSTEM literal');
-         $self->{state} = DATA_STATE;
-         !!!next-input-character;
-         $self->{current_token}->{quirks} = 1;
-         !!!emit ($self->{current_token}); # DOCTYPE
-         redo A;
-       } elsif ($self->{next_char} == -1) {
-         !!!cp (209);
-         !!!parse-error (type => 'unclosed SYSTEM literal');
-         $self->{state} = DATA_STATE;
-         ## reconsume
-         $self->{current_token}->{quirks} = 1;
-         !!!emit ($self->{current_token}); # DOCTYPE
-         redo A;
-       } else {
-         !!!cp (210);
-         $self->{current_token}->{system_identifier} # DOCTYPE
-             .= chr $self->{next_char};
-         $self->{read_until}->($self->{current_token}->{system_identifier},
-                               q[">],
-                               length $self->{current_token}->{system_identifier});
-         ## Stay in the state
-         !!!next-input-character;
-         redo A;
-       }
-     } 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 SYSTEM literal');
-         $self->{state} = DATA_STATE;
-         !!!next-input-character;
-         $self->{current_token}->{quirks} = 1;
-         !!!emit ($self->{current_token}); # DOCTYPE
-         redo A;
-       } elsif ($self->{next_char} == -1) {
-         !!!cp (213);
-         !!!parse-error (type => 'unclosed SYSTEM literal');
-         $self->{state} = DATA_STATE;
-         ## reconsume
-         $self->{current_token}->{quirks} = 1;
-         !!!emit ($self->{current_token}); # DOCTYPE
-         redo A;
-       } else {
-         !!!cp (214);
-         $self->{current_token}->{system_identifier} # DOCTYPE
-             .= chr $self->{next_char};
-         $self->{read_until}->($self->{current_token}->{system_identifier},
-                               q['>],
-                               length $self->{current_token}->{system_identifier});
-         ## Stay in the state
-         !!!next-input-character;
-         redo A;
-       }
-     } elsif ($self->{state} == AFTER_DOCTYPE_SYSTEM_IDENTIFIER_STATE) {
-       if ({
-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;
-         !!!emit ($self->{current_token}); # DOCTYPE
-         redo A;
-       } elsif ($self->{next_char} == -1) {
-         !!!cp (217);
-         !!!parse-error (type => 'unclosed DOCTYPE');
-         $self->{state} = DATA_STATE;
-         ## reconsume
-         $self->{current_token}->{quirks} = 1;
-         !!!emit ($self->{current_token}); # DOCTYPE
-         redo A;
-       } else {
-         !!!cp (218);
-         !!!parse-error (type => 'string after SYSTEM literal');
-         #$self->{current_token}->{quirks} = 1;
-         $self->{state} = BOGUS_DOCTYPE_STATE;
-         !!!next-input-character;
-         redo A;
-       }
-     } elsif ($self->{state} == BOGUS_DOCTYPE_STATE) {
-       if ($self->{next_char} == 0x003E) { # >
-         !!!cp (219);
-         $self->{state} = DATA_STATE;
-         !!!next-input-character;
-         !!!emit ($self->{current_token}); # DOCTYPE
-         redo A;
-       } elsif ($self->{next_char} == -1) {
-         !!!cp (220);
-         !!!parse-error (type => 'unclosed DOCTYPE');
-         $self->{state} = DATA_STATE;
-         ## reconsume
-         !!!emit ($self->{current_token}); # DOCTYPE
-         redo A;
-       } else {
-         !!!cp (221);
-         my $s = '';
-         $self->{read_until}->($s, q[>], 0);
-         ## Stay in the state
-         !!!next-input-character;
-         redo A;
-       }
-     } elsif ($self->{state} == CDATA_SECTION_STATE) {
-       ## NOTE: "CDATA section state" in the state is jointly implemented
-       ## by three states, |CDATA_SECTION_STATE|, |CDATA_SECTION_MSE1_STATE|,
-       ## and |CDATA_SECTION_MSE2_STATE|.
-       if ($self->{next_char} == 0x005D) { # ]
-         !!!cp (221.1);
-         $self->{state} = CDATA_SECTION_MSE1_STATE;
-         !!!next-input-character;
-         redo A;
-       } elsif ($self->{next_char} == -1) {
-         $self->{state} = DATA_STATE;
-         !!!next-input-character;
-         if (length $self->{current_token}->{data}) { # character
-           !!!cp (221.2);
-           !!!emit ($self->{current_token}); # character
-         } else {
-           !!!cp (221.3);
-           ## No token to emit. $self->{current_token} is discarded.
-         }
-         redo A;
-       } else {
-         !!!cp (221.4);
-         $self->{current_token}->{data} .= chr $self->{next_char};
-         $self->{read_until}->($self->{current_token}->{data},
-                               q<]>,
-                               length $self->{current_token}->{data});
-         ## Stay in the state.
-         !!!next-input-character;
-         redo A;
-       }
-       ## ISSUE: "text tokens" in spec.
-     } elsif ($self->{state} == CDATA_SECTION_MSE1_STATE) {
-       if ($self->{next_char} == 0x005D) { # ]
-         !!!cp (221.5);
-         $self->{state} = CDATA_SECTION_MSE2_STATE;
-         !!!next-input-character;
-         redo A;
-       } else {
-         !!!cp (221.6);
-         $self->{current_token}->{data} .= ']';
-         $self->{state} = CDATA_SECTION_STATE;
-         ## Reconsume.
-         redo A;
-       }
-     } elsif ($self->{state} == CDATA_SECTION_MSE2_STATE) {
-       if ($self->{next_char} == 0x003E) { # >
-         $self->{state} = DATA_STATE;
-         !!!next-input-character;
-         if (length $self->{current_token}->{data}) { # character
-           !!!cp (221.7);
-           !!!emit ($self->{current_token}); # character
-         } else {
-           !!!cp (221.8);
-           ## No token to emit. $self->{current_token} is discarded.
-         }
-         redo A;
-       } elsif ($self->{next_char} == 0x005D) { # ]
-         !!!cp (221.9); # character
-         $self->{current_token}->{data} .= ']'; ## Add first "]" of "]]]".
-         ## Stay in the state.
-         !!!next-input-character;
-         redo A;
-       } else {
-         !!!cp (221.11);
-         $self->{current_token}->{data} .= ']]'; # character
-         $self->{state} = CDATA_SECTION_STATE;
-         ## Reconsume.
-         redo A;
-       }
-     } elsif ($self->{state} == ENTITY_STATE) {
-       if ({
-x0009 => 1, 0x000A => 1, 0x000B => 1, 0x000C => 1, # HT, LF, VT, FF,
-x0020 => 1, 0x003C => 1, 0x0026 => 1, -1 => 1, # SP, <, &
-         $self->{entity_additional} => 1,
-       }->{$self->{next_char}}) {
-         !!!cp (1001);
-         ## Don't consume
-         ## No error
-         ## Return nothing.
-         #
-       } elsif ($self->{next_char} == 0x0023) { # #
-         !!!cp (999);
-         $self->{state} = ENTITY_HASH_STATE;
-         $self->{state_keyword} = '#';
-         !!!next-input-character;
-         redo A;
-       } elsif ((0x0041 <= $self->{next_char} and
-                 $self->{next_char} <= 0x005A) or # A..Z
-                (0x0061 <= $self->{next_char} and
-                 $self->{next_char} <= 0x007A)) { # a..z
-         !!!cp (998);
-         require Whatpm::_NamedEntityList;
-         $self->{state} = ENTITY_NAME_STATE;
-         $self->{state_keyword} = chr $self->{next_char};
-         $self->{entity__value} = $self->{state_keyword};
-         $self->{entity__match} = 0;
-         !!!next-input-character;
-         redo A;
-       } else {
-         !!!cp (1027);
-         !!!parse-error (type => 'bare ero');
-         ## Return nothing.
-         #
-       }
-       ## NOTE: No character is consumed by the "consume a character
-       ## reference" algorithm.  In other word, there is an "&" character
-       ## that does not introduce a character reference, which would be
-       ## appended to the parent element or the attribute value in later
-       ## process of the tokenizer.
-       if ($self->{prev_state} == DATA_STATE) {
-         !!!cp (997);
-         $self->{state} = $self->{prev_state};
-         ## Reconsume.
-         !!!emit ({type => CHARACTER_TOKEN, data => '&',
-                   line => $self->{line_prev},
-                   column => $self->{column_prev},
-                  });
-         redo A;
-       } else {
-         !!!cp (996);
-         $self->{current_attribute}->{value} .= '&';
-         $self->{state} = $self->{prev_state};
-         ## Reconsume.
-         redo A;
-       }
-     } elsif ($self->{state} == ENTITY_HASH_STATE) {
-       if ($self->{next_char} == 0x0078 or # x
-           $self->{next_char} == 0x0058) { # X
-         !!!cp (995);
-         $self->{state} = HEXREF_X_STATE;
-         $self->{state_keyword} .= chr $self->{next_char};
-         !!!next-input-character;
-         redo A;
-       } elsif (0x0030 <= $self->{next_char} and
-                $self->{next_char} <= 0x0039) { # 0..9
-         !!!cp (994);
-         $self->{state} = NCR_NUM_STATE;
-         $self->{state_keyword} = $self->{next_char} - 0x0030;
-         !!!next-input-character;
-         redo A;
-       } else {
-         !!!parse-error (type => 'bare nero',
-                         line => $self->{line_prev},
-                         column => $self->{column_prev} - 1);
-         ## NOTE: According to the spec algorithm, nothing is returned,
-         ## and then "&#" is appended to the parent element or the attribute
-         ## value in the later processing.
-         if ($self->{prev_state} == DATA_STATE) {
-           !!!cp (1019);
-           $self->{state} = $self->{prev_state};
-           ## Reconsume.
-           !!!emit ({type => CHARACTER_TOKEN,
-                     data => '&#',
-                     line => $self->{line_prev},
-                     column => $self->{column_prev} - 1,
-                    });
-           redo A;
-         } else {
-           !!!cp (993);
-           $self->{current_attribute}->{value} .= '&#';
-           $self->{state} = $self->{prev_state};
-           ## Reconsume.
-           redo A;
-         }
-       }
-     } elsif ($self->{state} == NCR_NUM_STATE) {
-       if (0x0030 <= $self->{next_char} and
-           $self->{next_char} <= 0x0039) { # 0..9
-         !!!cp (1012);
-         $self->{state_keyword} *= 10;
-         $self->{state_keyword} += $self->{next_char} - 0x0030;
-         ## Stay in the state.
-         !!!next-input-character;
-         redo A;
-       } elsif ($self->{next_char} == 0x003B) { # ;
-         !!!cp (1013);
-         !!!next-input-character;
-         #
-       } else {
-         !!!cp (1014);
-         !!!parse-error (type => 'no refc');
-         ## Reconsume.
-         #
-       }
-       my $code = $self->{state_keyword};
-       my $l = $self->{line_prev};
-       my $c = $self->{column_prev};
-       if ($code == 0 or (0xD800 <= $code and $code <= 0xDFFF)) {
-         !!!cp (1015);
-         !!!parse-error (type => 'invalid character reference',
-                         text => (sprintf 'U+%04X', $code),
-                         line => $l, column => $c);
-         $code = 0xFFFD;
-       } elsif ($code > 0x10FFFF) {
-         !!!cp (1016);
-         !!!parse-error (type => 'invalid character reference',
-                         text => (sprintf 'U-%08X', $code),
-                         line => $l, column => $c);
-         $code = 0xFFFD;
-       } elsif ($code == 0x000D) {
-         !!!cp (1017);
-         !!!parse-error (type => 'CR character reference',
-                         line => $l, column => $c);
-         $code = 0x000A;
-       } elsif (0x80 <= $code and $code <= 0x9F) {
-         !!!cp (1018);
-         !!!parse-error (type => 'C1 character reference',
-                         text => (sprintf 'U+%04X', $code),
-                         line => $l, column => $c);
-         $code = $c1_entity_char->{$code};
-       }
-       if ($self->{prev_state} == DATA_STATE) {
-         !!!cp (992);
-         $self->{state} = $self->{prev_state};
-         ## Reconsume.
-         !!!emit ({type => CHARACTER_TOKEN, data => chr $code,
-                   line => $l, column => $c,
-                  });
-         redo A;
-       } else {
-         !!!cp (991);
-         $self->{current_attribute}->{value} .= chr $code;
-         $self->{current_attribute}->{has_reference} = 1;
-         $self->{state} = $self->{prev_state};
-         ## Reconsume.
-         redo A;
-       }
-     } elsif ($self->{state} == HEXREF_X_STATE) {
-       if ((0x0030 <= $self->{next_char} and $self->{next_char} <= 0x0039) or
-           (0x0041 <= $self->{next_char} and $self->{next_char} <= 0x0046) or
-           (0x0061 <= $self->{next_char} and $self->{next_char} <= 0x0066)) {
-         # 0..9, A..F, a..f
-         !!!cp (990);
-         $self->{state} = HEXREF_HEX_STATE;
-         $self->{state_keyword} = 0;
-         ## Reconsume.
-         redo A;
-       } else {
-         !!!parse-error (type => 'bare hcro',
-                         line => $self->{line_prev},
-                         column => $self->{column_prev} - 2);
-         ## NOTE: According to the spec algorithm, nothing is returned,
-         ## and then "&#" followed by "X" or "x" is appended to the parent
-         ## element or the attribute value in the later processing.
-         if ($self->{prev_state} == DATA_STATE) {
-           !!!cp (1005);
-           $self->{state} = $self->{prev_state};
-           ## Reconsume.
-           !!!emit ({type => CHARACTER_TOKEN,
-                     data => '&' . $self->{state_keyword},
-                     line => $self->{line_prev},
-                     column => $self->{column_prev} - length $self->{state_keyword},
-                    });
-           redo A;
-         } else {
-           !!!cp (989);
-           $self->{current_attribute}->{value} .= '&' . $self->{state_keyword};
-           $self->{state} = $self->{prev_state};
-           ## Reconsume.
-           redo A;
-         }
-       }
-     } elsif ($self->{state} == HEXREF_HEX_STATE) {
-       if (0x0030 <= $self->{next_char} and $self->{next_char} <= 0x0039) {
-         # 0..9
-         !!!cp (1002);
-         $self->{state_keyword} *= 0x10;
-         $self->{state_keyword} += $self->{next_char} - 0x0030;
-         ## Stay in the state.
-         !!!next-input-character;
-         redo A;
-       } elsif (0x0061 <= $self->{next_char} and
-                $self->{next_char} <= 0x0066) { # a..f
-         !!!cp (1003);
-         $self->{state_keyword} *= 0x10;
-         $self->{state_keyword} += $self->{next_char} - 0x0060 + 9;
-         ## Stay in the state.
-         !!!next-input-character;
-         redo A;
-       } elsif (0x0041 <= $self->{next_char} and
-                $self->{next_char} <= 0x0046) { # A..F
-         !!!cp (1004);
-         $self->{state_keyword} *= 0x10;
-         $self->{state_keyword} += $self->{next_char} - 0x0040 + 9;
-         ## Stay in the state.
-         !!!next-input-character;
-         redo A;
-       } elsif ($self->{next_char} == 0x003B) { # ;
-         !!!cp (1006);
-         !!!next-input-character;
-         #
-       } else {
-         !!!cp (1007);
-         !!!parse-error (type => 'no refc',
-                         line => $self->{line},
-                         column => $self->{column});
-         ## Reconsume.
-         #
-       }
-       my $code = $self->{state_keyword};
-       my $l = $self->{line_prev};
-       my $c = $self->{column_prev};
-       if ($code == 0 or (0xD800 <= $code and $code <= 0xDFFF)) {
-         !!!cp (1008);
-         !!!parse-error (type => 'invalid character reference',
-                         text => (sprintf 'U+%04X', $code),
-                         line => $l, column => $c);
-         $code = 0xFFFD;
-       } elsif ($code > 0x10FFFF) {
-         !!!cp (1009);
-         !!!parse-error (type => 'invalid character reference',
-                         text => (sprintf 'U-%08X', $code),
-                         line => $l, column => $c);
-         $code = 0xFFFD;
-       } elsif ($code == 0x000D) {
-         !!!cp (1010);
-         !!!parse-error (type => 'CR character reference', line => $l, column => $c);
-         $code = 0x000A;
-       } elsif (0x80 <= $code and $code <= 0x9F) {
-         !!!cp (1011);
-         !!!parse-error (type => 'C1 character reference', text => (sprintf 'U+%04X', $code), line => $l, column => $c);
-         $code = $c1_entity_char->{$code};
-       }
-       if ($self->{prev_state} == DATA_STATE) {
-         !!!cp (988);
-         $self->{state} = $self->{prev_state};
-         ## Reconsume.
-         !!!emit ({type => CHARACTER_TOKEN, data => chr $code,
-                   line => $l, column => $c,
-                  });
-         redo A;
-       } else {
-         !!!cp (987);
-         $self->{current_attribute}->{value} .= chr $code;
-         $self->{current_attribute}->{has_reference} = 1;
-         $self->{state} = $self->{prev_state};
-         ## Reconsume.
-         redo A;
-       }
-     } elsif ($self->{state} == ENTITY_NAME_STATE) {
-       if (length $self->{state_keyword} < 30 and
-           ## NOTE: Some number greater than the maximum length of entity name
-           ((0x0041 <= $self->{next_char} and # a
-             $self->{next_char} <= 0x005A) or # x
-            (0x0061 <= $self->{next_char} and # a
-             $self->{next_char} <= 0x007A) or # z
-            (0x0030 <= $self->{next_char} and # 0
-             $self->{next_char} <= 0x0039) or # 9
-            $self->{next_char} == 0x003B)) { # ;
-         our $EntityChar;
-         $self->{state_keyword} .= chr $self->{next_char};
-         if (defined $EntityChar->{$self->{state_keyword}}) {
-           if ($self->{next_char} == 0x003B) { # ;
-             !!!cp (1020);
-             $self->{entity__value} = $EntityChar->{$self->{state_keyword}};
-             $self->{entity__match} = 1;
-             !!!next-input-character;
-             #
-           } else {
-             !!!cp (1021);
-             $self->{entity__value} = $EntityChar->{$self->{state_keyword}};
-             $self->{entity__match} = -1;
-             ## Stay in the state.
-             !!!next-input-character;
-             redo A;
-           }
-         } else {
-           !!!cp (1022);
-           $self->{entity__value} .= chr $self->{next_char};
-           $self->{entity__match} *= 2;
-           ## Stay in the state.
-           !!!next-input-character;
-           redo A;
-         }
-       }
-       my $data;
-       my $has_ref;
-       if ($self->{entity__match} > 0) {
-         !!!cp (1023);
-         $data = $self->{entity__value};
-         $has_ref = 1;
-         #
-       } elsif ($self->{entity__match} < 0) {
-         !!!parse-error (type => 'no refc');
-         if ($self->{prev_state} != DATA_STATE and # in attribute
-             $self->{entity__match} < -1) {
-           !!!cp (1024);
-           $data = '&' . $self->{state_keyword};
-           #
-         } else {
-           !!!cp (1025);
-           $data = $self->{entity__value};
-           $has_ref = 1;
-           #
-         }
-       } else {
-         !!!cp (1026);
-         !!!parse-error (type => 'bare ero',
-                         line => $self->{line_prev},
-                         column => $self->{column_prev} - length $self->{state_keyword});
-         $data = '&' . $self->{state_keyword};
-         #
-       }
-       ## NOTE: In these cases, when a character reference is found,
-       ## it is consumed and a character token is returned, or, otherwise,
-       ## nothing is consumed and returned, according to the spec algorithm.
-       ## In this implementation, anything that has been examined by the
-       ## tokenizer is appended to the parent element or the attribute value
-       ## as string, either literal string when no character reference or
-       ## entity-replaced string otherwise, in this stage, since any characters
-       ## that would not be consumed are appended in the data state or in an
-       ## appropriate attribute value state anyway.
-       if ($self->{prev_state} == DATA_STATE) {
-         !!!cp (986);
-         $self->{state} = $self->{prev_state};
-         ## Reconsume.
-         !!!emit ({type => CHARACTER_TOKEN,
-                   data => $data,
-                   line => $self->{line_prev},
-                   column => $self->{column_prev} + 1 - length $self->{state_keyword},
-                  });
-         redo A;
-       } else {
-         !!!cp (985);
-         $self->{current_attribute}->{value} .= $data;
-         $self->{current_attribute}->{has_reference} = 1 if $has_ref;
-         $self->{state} = $self->{prev_state};
-         ## Reconsume.
-         redo A;
-       }
-     } else {
-       die "$0: $self->{state}: Unknown state";
-     }
-   } # A
-   die "$0: _get_next_token: unexpected case";
- } # _get_next_token
  sub _initialize_tree_constructor ($) {
    my $self = shift;
    ## NOTE: $self->{document} MUST be specified before this method is called
-Line 3450 
 sub _construct_tree ($) {
+Line 883 
 sub _construct_tree ($) {
    ## When an interactive UA render the $self->{document} available
    ## to the user, or when it begin accepting user input, are
    ## not defined.
-   ## Append a character: collect it and all subsequent consecutive
-   ## characters and insert one Text node whose data is concatenation
-   ## of all those characters. # MUST
    !!!next-token;
    undef $self->{form_element};
    undef $self->{head_element};
+   undef $self->{head_element_inserted};
    $self->{open_elements} = [];
    undef $self->{inner_html_node};
+   undef $self->{ignore_newline};
    ## NOTE: The "initial" insertion mode.
    $self->_tree_construction_initial; # MUST
-Line 3487 
 sub _tree_construction_initial ($) {
+Line 918 
 sub _tree_construction_initial ($) {
        $doctype_name = '' unless defined $doctype_name;
        $doctype_name =~ tr/a-z/A-Z/; # ASCII case-insensitive
        if (not defined $token->{name} or # <!DOCTYPE>
-           defined $token->{system_identifier}) {
+           defined $token->{sysid}) {
          !!!cp ('t1');
          !!!parse-error (type => 'not HTML5', token => $token);
        } elsif ($doctype_name ne 'HTML') {
          !!!cp ('t2');
          !!!parse-error (type => 'not HTML5', token => $token);
-       } elsif (defined $token->{public_identifier}) {
+       } elsif (defined $token->{pubid}) {
-         if ($token->{public_identifier} eq 'XSLT-compat') {
+         if ($token->{pubid} eq 'XSLT-compat') {
            !!!cp ('t1.2');
            !!!parse-error (type => 'XSLT-compat', token => $token,
                            level => $self->{level}->{should});
-Line 3510 
 sub _tree_construction_initial ($) {
+Line 941 
 sub _tree_construction_initial ($) {
          ($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})
+       $doctype->public_id ($token->{pubid}) if defined $token->{pubid};
-           if defined $token->{public_identifier};
+       $doctype->system_id ($token->{sysid}) if defined $token->{sysid};
-       $doctype->system_id ($token->{system_identifier})
-           if defined $token->{system_identifier};
        ## NOTE: Other DocumentType attributes are null or empty lists.
-       ## ISSUE: internalSubset = null??
+       ## In Firefox3, |internalSubset| attribute is set to the empty
+       ## string, while |null| is an allowed value for the attribute
+       ## according to DOM3 Core.
        $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}) {
+       } elsif (defined $token->{pubid}) {
-         my $pubid = $token->{public_identifier};
+         my $pubid = $token->{pubid};
          $pubid =~ tr/a-z/A-z/;
          my $prefix = [
            "+//SILMARIL//DTD HTML PRO V0R11 19970101//",
-Line 3596 
 sub _tree_construction_initial ($) {
+Line 1027 
 sub _tree_construction_initial ($) {
            $self->{document}->manakai_compat_mode ('quirks');
          } elsif ($pubid =~ m[^-//W3C//DTD HTML 4.01 FRAMESET//] or
                   $pubid =~ m[^-//W3C//DTD HTML 4.01 TRANSITIONAL//]) {
-           if (defined $token->{system_identifier}) {
+           if (defined $token->{sysid}) {
              !!!cp ('t6');
              $self->{document}->manakai_compat_mode ('quirks');
            } else {
-Line 3613 
 sub _tree_construction_initial ($) {
+Line 1044 
 sub _tree_construction_initial ($) {
        } else {
          !!!cp ('t10');
        }
-       if (defined $token->{system_identifier}) {
+       if (defined $token->{sysid}) {
-         my $sysid = $token->{system_identifier};
+         my $sysid = $token->{sysid};
          $sysid =~ tr/A-Z/a-z/;
          if ($sysid eq "http://www.ibm.com/data/dtd/v11/ibmxhtml1-transitional.dtd") {
            ## NOTE: Ensure that |PUBLIC "(limited quirks)" "(quirks)"| is
-Line 3644 
 sub _tree_construction_initial ($) {
+Line 1075 
 sub _tree_construction_initial ($) {
        !!!ack-later;
        return;
      } elsif ($token->{type} == CHARACTER_TOKEN) {
-       if ($token->{data} =~ s/^([\x09\x0A\x0B\x0C\x20]+)//) { # \x0D
+       if ($token->{data} =~ s/^([\x09\x0A\x0C\x20]+)//) {
          ## Ignore the token
          unless (length $token->{data}) {
-Line 3701 
 sub _tree_construction_root_element ($)
+Line 1132 
 sub _tree_construction_root_element ($)
          !!!next-token;
          redo B;
        } elsif ($token->{type} == CHARACTER_TOKEN) {
-         if ($token->{data} =~ s/^([\x09\x0A\x0B\x0C\x20]+)//) { # \x0D
+         if ($token->{data} =~ s/^([\x09\x0A\x0C\x20]+)//) {
            ## Ignore the token.
            unless (length $token->{data}) {
-Line 3768 
 sub _tree_construction_root_element ($)
+Line 1199 
 sub _tree_construction_root_element ($)
      ## NOTE: Reprocess the token.
      !!!ack-later;
      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";
-Line 3805 
 sub _reset_insertion_mode ($) {
+Line 1234 
 sub _reset_insertion_mode ($) {
          ## SVG elements.  Currently the HTML syntax supports only MathML and
          ## SVG elements as foreigners.
          $new_mode = IN_BODY_IM | IN_FOREIGN_CONTENT_IM;
-       } elsif ($node->[1] & TABLE_CELL_EL) {
+       } elsif ($node->[1] == TABLE_CELL_EL) {
          if ($last) {
            !!!cp ('t28.2');
            #
-Line 3834 
 sub _reset_insertion_mode ($) {
+Line 1263 
 sub _reset_insertion_mode ($) {
        $self->{insertion_mode} = $new_mode and return if defined $new_mode;
        ## Step 15
-       if ($node->[1] & HTML_EL) {
+       if ($node->[1] == HTML_EL) {
          unless (defined $self->{head_element}) {
            !!!cp ('t29');
            $self->{insertion_mode} = BEFORE_HEAD_IM;
-Line 3966 
 sub _tree_construction_main ($) {
+Line 1395 
 sub _tree_construction_main ($) {
      ## Step 1
      my $start_tag_name = $token->{tag_name};
-     my $el;
+     !!!insert-element-t ($token->{tag_name}, $token->{attributes}, $token);
-     !!!create-element ($el, $HTML_NS, $start_tag_name, $token->{attributes}, $token);
      ## Step 2
-     $insert->($el);
-     ## Step 3
      $self->{content_model} = $content_model_flag; # CDATA or RCDATA
      delete $self->{escape}; # MUST
-     ## Step 4
+     ## Step 3, 4
-     my $text = '';
+     $self->{insertion_mode} |= IN_CDATA_RCDATA_IM;
-     !!!nack ('t40.1');
-     !!!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);
-     }
-     ## Step 6
+     !!!nack ('t40.1');
-     $self->{content_model} = PCDATA_CONTENT_MODEL;
-     ## Step 7
-     if ($token->{type} == END_TAG_TOKEN and
-         $token->{tag_name} eq $start_tag_name) {
-       !!!cp ('t42');
-       ## Ignore the token
-     } else {
-       ## NOTE: An end-of-file token.
-       if ($content_model_flag == CDATA_CONTENT_MODEL) {
-         !!!cp ('t43');
-         !!!parse-error (type => 'in CDATA:#eof', token => $token);
-       } elsif ($content_model_flag == RCDATA_CONTENT_MODEL) {
-         !!!cp ('t44');
-         !!!parse-error (type => 'in RCDATA:#eof', token => $token);
-       } else {
-         die "$0: $content_model_flag in parse_rcdata";
-       }
-     }
      !!!next-token;
    }; # $parse_rcdata
    my $script_start_tag = sub () {
+     ## Step 1
      my $script_el;
      !!!create-element ($script_el, $HTML_NS, 'script', $token->{attributes}, $token);
+     ## Step 2
      ## TODO: mark as "parser-inserted"
+     ## Step 3
+     ## TODO: Mark as "already executed", if ...
+     ## Step 4 (HTML5 revision 2702)
+     $insert->($script_el);
+     push @{$self->{open_elements}}, [$script_el, $el_category->{script}];
+     ## Step 5
      $self->{content_model} = CDATA_CONTENT_MODEL;
      delete $self->{escape}; # MUST
-     my $text = '';
-     !!!nack ('t45.1');
-     !!!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);
-     }
-     $self->{content_model} = PCDATA_CONTENT_MODEL;
-     if ($token->{type} == END_TAG_TOKEN and
+     ## Step 6-7
-         $token->{tag_name} eq 'script') {
+     $self->{insertion_mode} |= IN_CDATA_RCDATA_IM;
-       !!!cp ('t47');
-       ## Ignore the token
-     } else {
-       !!!cp ('t48');
-       !!!parse-error (type => 'in CDATA:#eof', 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
-       $insert->($script_el);
+     !!!nack ('t40.2');
-       ## TODO: insertion point = $old_insertion_point (might be "undefined")
-       ## TODO: if there is a script that will execute as soon as the parser resume, then...
-     }
      !!!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.
+   ## NOTE: $open_tables->[-1]->[2] is set false when non-Text node inserted.
    my $open_tables = [[$self->{open_elements}->[0]->[0]]];
    my $formatting_end_tag = sub {
-Line 4154 
 sub _tree_construction_main ($) {
+Line 1521 
 sub _tree_construction_main ($) {
            !!!cp ('t59');
            $furthest_block = $node;
            $furthest_block_i_in_open = $_;
+           ## NOTE: The topmost (eldest) node.
          } elsif ($node->[0] eq $formatting_element->[0]) {
            !!!cp ('t60');
            last OE;
-Line 4240 
 sub _tree_construction_main ($) {
+Line 1608 
 sub _tree_construction_main ($) {
          my $foster_parent_element;
          my $next_sibling;
          OE: for (reverse 0..$#{$self->{open_elements}}) {
-           if ($self->{open_elements}->[$_]->[1] & TABLE_EL) {
+           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');
-Line 4300 
 sub _tree_construction_main ($) {
+Line 1668 
 sub _tree_construction_main ($) {
            $i = $_;
          }
        } # OE
-       splice @{$self->{open_elements}}, $i + 1, 1, $clone;
+       splice @{$self->{open_elements}}, $i + 1, 0, $clone;
        ## Step 14
        redo FET;
-Line 4318 
 sub _tree_construction_main ($) {
+Line 1686 
 sub _tree_construction_main ($) {
        my $foster_parent_element;
        my $next_sibling;
        OE: for (reverse 0..$#{$self->{open_elements}}) {
-         if ($self->{open_elements}->[$_]->[1] & TABLE_EL) {
+         if ($self->{open_elements}->[$_]->[1] == TABLE_EL) {
                               my $parent = $self->{open_elements}->[$_]->[0]->parent_node;
                               if (defined $parent and $parent->node_type == 1) {
                                 !!!cp ('t70');
-Line 4343 
 sub _tree_construction_main ($) {
+Line 1711 
 sub _tree_construction_main ($) {
      }
    }; # $insert_to_foster
+   ## NOTE: Insert a character (MUST): When a character is inserted, if
+   ## the last node that was inserted by the parser is a Text node and
+   ## the character has to be inserted after that node, then the
+   ## character is appended to the Text node.  However, if any other
+   ## node is inserted by the parser, then a new Text node is created
+   ## and the character is appended as that Text node.  If I'm not
+   ## wrong, for a parser with scripting disabled, there are only two
+   ## cases where this occurs.  One is the case where an element node
+   ## is inserted to the |head| element.  This is covered by using the
+   ## |$self->{head_element_inserted}| flag.  Another is the case where
+   ## an element or comment is inserted into the |table| subtree while
+   ## foster parenting happens.  This is covered by using the [2] flag
+   ## of the |$open_tables| structure.  All other cases are handled
+   ## simply by calling |manakai_append_text| method.
+   ## TODO: |<body><script>document.write("a<br>");
+   ## document.body.removeChild (document.body.lastChild);
+   ## document.write ("b")</script>|
    B: while (1) {
      if ($token->{type} == DOCTYPE_TOKEN) {
        !!!cp ('t73');
-Line 4390 
 sub _tree_construction_main ($) {
+Line 1777 
 sub _tree_construction_main ($) {
        } else {
          !!!cp ('t87');
          $self->{open_elements}->[-1]->[0]->append_child ($comment);
+         $open_tables->[-1]->[2] = 0 if @$open_tables; # ~node inserted
        }
        !!!next-token;
        next B;
+     } elsif ($self->{insertion_mode} & IN_CDATA_RCDATA_IM) {
+       if ($token->{type} == CHARACTER_TOKEN) {
+         $token->{data} =~ s/^\x0A// if $self->{ignore_newline};
+         delete $self->{ignore_newline};
+         if (length $token->{data}) {
+           !!!cp ('t43');
+           $self->{open_elements}->[-1]->[0]->manakai_append_text
+               ($token->{data});
+         } else {
+           !!!cp ('t43.1');
+         }
+         !!!next-token;
+         next B;
+       } elsif ($token->{type} == END_TAG_TOKEN) {
+         delete $self->{ignore_newline};
+         if ($token->{tag_name} eq 'script') {
+           !!!cp ('t50');
+           ## Para 1-2
+           my $script = pop @{$self->{open_elements}};
+           ## Para 3
+           $self->{insertion_mode} &= ~ IN_CDATA_RCDATA_IM;
+           ## Para 4
+           ## TODO: $old_insertion_point = $current_insertion_point;
+           ## TODO: $current_insertion_point = just before $self->{nc};
+           ## Para 5
+           ## TODO: Run the $script->[0].
+           ## Para 6
+           ## TODO: $current_insertion_point = $old_insertion_point;
+           ## Para 7
+           ## TODO: if ($pending_external_script) {
+             ## TODO: ...
+           ## TODO: }
+           !!!next-token;
+           next B;
+         } else {
+           !!!cp ('t42');
+           pop @{$self->{open_elements}};
+           $self->{insertion_mode} &= ~ IN_CDATA_RCDATA_IM;
+           !!!next-token;
+           next B;
+         }
+       } elsif ($token->{type} == END_OF_FILE_TOKEN) {
+         delete $self->{ignore_newline};
+         !!!cp ('t44');
+         !!!parse-error (type => 'not closed',
+                         text => $self->{open_elements}->[-1]->[0]
+                             ->manakai_local_name,
+                         token => $token);
+         #if ($self->{open_elements}->[-1]->[1] == SCRIPT_EL) {
+         #  ## TODO: Mark as "already executed"
+         #}
+         pop @{$self->{open_elements}};
+         $self->{insertion_mode} &= ~ IN_CDATA_RCDATA_IM;
+         ## Reprocess.
+         next B;
+       } else {
+         die "$0: $token->{type}: In CDATA/RCDATA: Unknown token type";
+       }
      } elsif ($self->{insertion_mode} & IN_FOREIGN_CONTENT_IM) {
        if ($token->{type} == CHARACTER_TOKEN) {
          !!!cp ('t87.1');
-Line 4404 
 sub _tree_construction_main ($) {
+Line 1865 
 sub _tree_construction_main ($) {
               $self->{open_elements}->[-1]->[1] & FOREIGN_FLOW_CONTENT_EL) or
              not ($self->{open_elements}->[-1]->[1] & FOREIGN_EL) or
              ($token->{tag_name} eq 'svg' and
-              $self->{open_elements}->[-1]->[1] & MML_AXML_EL)) {
+              $self->{open_elements}->[-1]->[1] == MML_AXML_EL)) {
            ## NOTE: "using the rules for secondary insertion mode"then"continue"
            !!!cp ('t87.2');
            #
          } elsif ({
                    b => 1, big => 1, blockquote => 1, body => 1, br => 1,
                    center => 1, code => 1, dd => 1, div => 1, dl => 1, dt => 1,
-                   em => 1, embed => 1, font => 1, h1 => 1, h2 => 1, h3 => 1,
+                   em => 1, embed => 1, h1 => 1, h2 => 1, h3 => 1,
                    h4 => 1, h5 => 1, h6 => 1, head => 1, hr => 1, i => 1,
                    img => 1, li => 1, listing => 1, menu => 1, meta => 1,
                    nobr => 1, ol => 1, p => 1, pre => 1, ruby => 1, s => 1,
                    small => 1, span => 1, strong => 1, strike => 1, sub => 1,
                    sup => 1, table => 1, tt => 1, u => 1, ul => 1, var => 1,
-                  }->{$token->{tag_name}}) {
+                  }->{$token->{tag_name}} or
+                  ($token->{tag_name} eq 'font' and
+                   ($token->{attributes}->{color} or
+                    $token->{attributes}->{face} or
+                    $token->{attributes}->{size}))) {
            !!!cp ('t87.2');
            !!!parse-error (type => 'not closed',
                            text => $self->{open_elements}->[-1]->[0]
-Line 4493 
 sub _tree_construction_main ($) {
+Line 1958 
 sub _tree_construction_main ($) {
          }
        } elsif ($token->{type} == END_TAG_TOKEN) {
          ## NOTE: "using the rules for secondary insertion mode" then "continue"
-         !!!cp ('t87.5');
+         if ($token->{tag_name} eq 'script') {
-         #
+           !!!cp ('t87.41');
+           #
+           ## XXXscript: Execute script here.
+         } else {
+           !!!cp ('t87.5');
+           #
+         }
        } elsif ($token->{type} == END_OF_FILE_TOKEN) {
          !!!cp ('t87.6');
          !!!parse-error (type => 'not closed',
-Line 4505 
 sub _tree_construction_main ($) {
+Line 1976 
 sub _tree_construction_main ($) {
          pop @{$self->{open_elements}}
              while $self->{open_elements}->[-1]->[1] & FOREIGN_EL;
+         ## NOTE: |<span><svg>| ... two parse errors, |<svg>| ... a parse error.
          $self->{insertion_mode} &= ~ IN_FOREIGN_CONTENT_IM;
          ## Reprocess.
          next B;
-Line 4515 
 sub _tree_construction_main ($) {
+Line 1988 
 sub _tree_construction_main ($) {
      if ($self->{insertion_mode} & HEAD_IMS) {
        if ($token->{type} == CHARACTER_TOKEN) {
-         if ($token->{data} =~ s/^([\x09\x0A\x0B\x0C\x20]+)//) {
+         if ($token->{data} =~ s/^([\x09\x0A\x0C\x20]+)//) {
            unless ($self->{insertion_mode} == BEFORE_HEAD_IM) {
-             !!!cp ('t88.2');
+             if ($self->{head_element_inserted}) {
-             $self->{open_elements}->[-1]->[0]->manakai_append_text ($1);
+               !!!cp ('t88.3');
-             #
+               $self->{open_elements}->[-1]->[0]->append_child
+                 ($self->{document}->create_text_node ($1));
+               delete $self->{head_element_inserted};
+               ## NOTE: |</head> <link> |
+               #
+             } else {
+               !!!cp ('t88.2');
+               $self->{open_elements}->[-1]->[0]->manakai_append_text ($1);
+               ## NOTE: |</head> &#x20;|
+               #
+             }
            } else {
              !!!cp ('t88.1');
              ## Ignore the token.
-Line 4615 
 sub _tree_construction_main ($) {
+Line 2098 
 sub _tree_construction_main ($) {
            !!!cp ('t97');
          }
-             if ($token->{tag_name} eq 'base') {
+         if ($token->{tag_name} eq 'base') {
-               if ($self->{insertion_mode} == IN_HEAD_NOSCRIPT_IM) {
+           if ($self->{insertion_mode} == IN_HEAD_NOSCRIPT_IM) {
-                 !!!cp ('t98');
+             !!!cp ('t98');
-                 ## As if </noscript>
+             ## As if </noscript>
-                 pop @{$self->{open_elements}};
+             pop @{$self->{open_elements}};
-                 !!!parse-error (type => 'in noscript', text => 'base',
+             !!!parse-error (type => 'in noscript', text => 'base',
-                                 token => $token);
+                             token => $token);
-                 $self->{insertion_mode} = IN_HEAD_IM;
+             $self->{insertion_mode} = IN_HEAD_IM;
-                 ## Reprocess in the "in head" insertion mode...
+             ## Reprocess in the "in head" insertion mode...
-               } else {
+           } else {
-                 !!!cp ('t99');
+             !!!cp ('t99');
-               }
+           }
-               ## NOTE: There is a "as if in head" code clone.
+           ## NOTE: There is a "as if in head" code clone.
-               if ($self->{insertion_mode} == AFTER_HEAD_IM) {
+           if ($self->{insertion_mode} == AFTER_HEAD_IM) {
-                 !!!cp ('t100');
+             !!!cp ('t100');
-                 !!!parse-error (type => 'after head',
+             !!!parse-error (type => 'after head',
-                                 text => $token->{tag_name}, token => $token);
+                             text => $token->{tag_name}, token => $token);
-                 push @{$self->{open_elements}},
+             push @{$self->{open_elements}},
-                     [$self->{head_element}, $el_category->{head}];
+                 [$self->{head_element}, $el_category->{head}];
-               } else {
+             $self->{head_element_inserted} = 1;
-                 !!!cp ('t101');
+           } else {
-               }
+             !!!cp ('t101');
-               !!!insert-element ($token->{tag_name}, $token->{attributes}, $token);
+           }
-               pop @{$self->{open_elements}}; ## ISSUE: This step is missing in the spec.
+           !!!insert-element ($token->{tag_name}, $token->{attributes}, $token);
-               pop @{$self->{open_elements}} # <head>
+           pop @{$self->{open_elements}};
-                   if $self->{insertion_mode} == AFTER_HEAD_IM;
+           pop @{$self->{open_elements}} # <head>
-               !!!nack ('t101.1');
+               if $self->{insertion_mode} == AFTER_HEAD_IM;
-               !!!next-token;
+           !!!nack ('t101.1');
-               next B;
+           !!!next-token;
-             } elsif ($token->{tag_name} eq 'link') {
+           next B;
-               ## NOTE: There is a "as if in head" code clone.
+         } elsif ($token->{tag_name} eq 'link') {
-               if ($self->{insertion_mode} == AFTER_HEAD_IM) {
+           ## NOTE: There is a "as if in head" code clone.
-                 !!!cp ('t102');
+           if ($self->{insertion_mode} == AFTER_HEAD_IM) {
-                 !!!parse-error (type => 'after head',
+             !!!cp ('t102');
-                                 text => $token->{tag_name}, token => $token);
+             !!!parse-error (type => 'after head',
-                 push @{$self->{open_elements}},
+                             text => $token->{tag_name}, token => $token);
-                     [$self->{head_element}, $el_category->{head}];
+             push @{$self->{open_elements}},
-               } else {
+                 [$self->{head_element}, $el_category->{head}];
-                 !!!cp ('t103');
+             $self->{head_element_inserted} = 1;
-               }
+           } else {
-               !!!insert-element ($token->{tag_name}, $token->{attributes}, $token);
+             !!!cp ('t103');
-               pop @{$self->{open_elements}}; ## ISSUE: This step is missing in the spec.
+           }
-               pop @{$self->{open_elements}} # <head>
+           !!!insert-element ($token->{tag_name}, $token->{attributes}, $token);
-                   if $self->{insertion_mode} == AFTER_HEAD_IM;
+           pop @{$self->{open_elements}};
-               !!!ack ('t103.1');
+           pop @{$self->{open_elements}} # <head>
-               !!!next-token;
+               if $self->{insertion_mode} == AFTER_HEAD_IM;
-               next B;
+           !!!ack ('t103.1');
-             } elsif ($token->{tag_name} eq 'meta') {
+           !!!next-token;
-               ## NOTE: There is a "as if in head" code clone.
+           next B;
-               if ($self->{insertion_mode} == AFTER_HEAD_IM) {
+         } elsif ($token->{tag_name} eq 'command' or
-                 !!!cp ('t104');
+                  $token->{tag_name} eq 'eventsource') {
-                 !!!parse-error (type => 'after head',
+           if ($self->{insertion_mode} == IN_HEAD_IM) {
-                                 text => $token->{tag_name}, token => $token);
+             ## NOTE: If the insertion mode at the time of the emission
-                 push @{$self->{open_elements}},
+             ## of the token was "before head", $self->{insertion_mode}
-                     [$self->{head_element}, $el_category->{head}];
+             ## is already changed to |IN_HEAD_IM|.
-               } else {
-                 !!!cp ('t105');
+             ## NOTE: There is a "as if in head" code clone.
-               }
+             !!!insert-element ($token->{tag_name}, $token->{attributes}, $token);
-               !!!insert-element ($token->{tag_name}, $token->{attributes}, $token);
+             pop @{$self->{open_elements}};
-               my $meta_el = pop @{$self->{open_elements}}; ## ISSUE: This step is missing in the spec.
+             pop @{$self->{open_elements}} # <head>
+                 if $self->{insertion_mode} == AFTER_HEAD_IM;
+             !!!ack ('t103.2');
+             !!!next-token;
+             next B;
+           } else {
+             ## NOTE: "in head noscript" or "after head" insertion mode
+             ## - in these cases, these tags are treated as same as
+             ## normal in-body tags.
+             !!!cp ('t103.3');
+             #
+           }
+         } elsif ($token->{tag_name} eq 'meta') {
+           ## NOTE: There is a "as if in head" code clone.
+           if ($self->{insertion_mode} == AFTER_HEAD_IM) {
+             !!!cp ('t104');
+             !!!parse-error (type => 'after head',
+                             text => $token->{tag_name}, token => $token);
+             push @{$self->{open_elements}},
+                 [$self->{head_element}, $el_category->{head}];
+             $self->{head_element_inserted} = 1;
+           } else {
+             !!!cp ('t105');
+           }
+           !!!insert-element ($token->{tag_name}, $token->{attributes}, $token);
+           my $meta_el = pop @{$self->{open_elements}};
                unless ($self->{confident}) {
                  if ($token->{attributes}->{charset}) {
-Line 4694 
 sub _tree_construction_main ($) {
+Line 2202 
 sub _tree_construction_main ($) {
                  } elsif ($token->{attributes}->{content}) {
                    if ($token->{attributes}->{content}->{value}
                        =~ /[Cc][Hh][Aa][Rr][Ss][Ee][Tt]
-                           [\x09-\x0D\x20]*=
+                           [\x09\x0A\x0C\x0D\x20]*=
-                           [\x09-\x0D\x20]*(?>"([^"]*)"|'([^']*)'|
+                           [\x09\x0A\x0C\x0D\x20]*(?>"([^"]*)"|'([^']*)'|
-                           ([^"'\x09-\x0D\x20][^\x09-\x0D\x20\x3B]*))/x) {
+                           ([^"'\x09\x0A\x0C\x0D\x20]
+                            [^\x09\x0A\x0C\x0D\x20\x3B]*))/x) {
                      !!!cp ('t107');
                      ## NOTE: Whether the encoding is supported or not is handled
                      ## in the {change_encoding} callback.
-Line 4733 
 sub _tree_construction_main ($) {
+Line 2242 
 sub _tree_construction_main ($) {
                !!!ack ('t110.1');
                !!!next-token;
                next B;
-             } elsif ($token->{tag_name} eq 'title') {
+         } elsif ($token->{tag_name} eq 'title') {
-               if ($self->{insertion_mode} == IN_HEAD_NOSCRIPT_IM) {
+           if ($self->{insertion_mode} == IN_HEAD_NOSCRIPT_IM) {
-                 !!!cp ('t111');
+             !!!cp ('t111');
-                 ## As if </noscript>
+             ## As if </noscript>
-                 pop @{$self->{open_elements}};
+             pop @{$self->{open_elements}};
-                 !!!parse-error (type => 'in noscript', text => 'title',
+             !!!parse-error (type => 'in noscript', text => 'title',
-                                 token => $token);
+                             token => $token);
-                 $self->{insertion_mode} = IN_HEAD_IM;
+             $self->{insertion_mode} = IN_HEAD_IM;
-                 ## Reprocess in the "in head" insertion mode...
+             ## Reprocess in the "in head" insertion mode...
-               } elsif ($self->{insertion_mode} == AFTER_HEAD_IM) {
+           } elsif ($self->{insertion_mode} == AFTER_HEAD_IM) {
-                 !!!cp ('t112');
+             !!!cp ('t112');
-                 !!!parse-error (type => 'after head',
+             !!!parse-error (type => 'after head',
-                                 text => $token->{tag_name}, token => $token);
+                             text => $token->{tag_name}, token => $token);
-                 push @{$self->{open_elements}},
+             push @{$self->{open_elements}},
-                     [$self->{head_element}, $el_category->{head}];
+                 [$self->{head_element}, $el_category->{head}];
-               } else {
+             $self->{head_element_inserted} = 1;
-                 !!!cp ('t113');
+           } else {
-               }
+             !!!cp ('t113');
+           }
-               ## NOTE: There is a "as if in head" code clone.
+           ## NOTE: There is a "as if in head" code clone.
-               my $parent = defined $self->{head_element} ? $self->{head_element}
+           $parse_rcdata->(RCDATA_CONTENT_MODEL);
-                   : $self->{open_elements}->[-1]->[0];
-               $parse_rcdata->(RCDATA_CONTENT_MODEL);
+           ## NOTE: At this point the stack of open elements contain
-               pop @{$self->{open_elements}} # <head>
+           ## the |head| element (index == -2) and the |script| element
-                   if $self->{insertion_mode} == AFTER_HEAD_IM;
+           ## (index == -1).  In the "after head" insertion mode the
-               next B;
+           ## |head| element is inserted only for the purpose of
-             } elsif ($token->{tag_name} eq 'style' or
+           ## providing the context for the |script| element, and
-                      $token->{tag_name} eq 'noframes') {
+           ## therefore we can now and have to remove the element from
-               ## NOTE: Or (scripting is enabled and tag_name eq 'noscript' and
+           ## the stack.
-               ## insertion mode IN_HEAD_IM)
+           splice @{$self->{open_elements}}, -2, 1, () # <head>
-               ## NOTE: There is a "as if in head" code clone.
+               if ($self->{insertion_mode} & IM_MASK) == AFTER_HEAD_IM;
-               if ($self->{insertion_mode} == AFTER_HEAD_IM) {
+           next B;
-                 !!!cp ('t114');
+         } elsif ($token->{tag_name} eq 'style' or
-                 !!!parse-error (type => 'after head',
+                  $token->{tag_name} eq 'noframes') {
-                                 text => $token->{tag_name}, token => $token);
+           ## NOTE: Or (scripting is enabled and tag_name eq 'noscript' and
-                 push @{$self->{open_elements}},
+           ## insertion mode IN_HEAD_IM)
-                     [$self->{head_element}, $el_category->{head}];
+           ## NOTE: There is a "as if in head" code clone.
-               } else {
+           if ($self->{insertion_mode} == AFTER_HEAD_IM) {
-                 !!!cp ('t115');
+             !!!cp ('t114');
-               }
+             !!!parse-error (type => 'after head',
-               $parse_rcdata->(CDATA_CONTENT_MODEL);
+                             text => $token->{tag_name}, token => $token);
-               pop @{$self->{open_elements}} # <head>
+             push @{$self->{open_elements}},
-                   if $self->{insertion_mode} == AFTER_HEAD_IM;
+                 [$self->{head_element}, $el_category->{head}];
-               next B;
+             $self->{head_element_inserted} = 1;
-             } elsif ($token->{tag_name} eq 'noscript') {
+           } else {
+             !!!cp ('t115');
+           }
+           $parse_rcdata->(CDATA_CONTENT_MODEL);
+           ## ISSUE: A spec bug [Bug 6038]
+           splice @{$self->{open_elements}}, -2, 1, () # <head>
+               if ($self->{insertion_mode} & IM_MASK) == AFTER_HEAD_IM;
+           next B;
+         } elsif ($token->{tag_name} eq 'noscript') {
                if ($self->{insertion_mode} == IN_HEAD_IM) {
                  !!!cp ('t116');
                  ## NOTE: and scripting is disalbed
-Line 4799 
 sub _tree_construction_main ($) {
+Line 2317 
 sub _tree_construction_main ($) {
                  !!!cp ('t118');
                  #
                }
-             } elsif ($token->{tag_name} eq 'script') {
+         } elsif ($token->{tag_name} eq 'script') {
-               if ($self->{insertion_mode} == IN_HEAD_NOSCRIPT_IM) {
+           if ($self->{insertion_mode} == IN_HEAD_NOSCRIPT_IM) {
-                 !!!cp ('t119');
+             !!!cp ('t119');
-                 ## As if </noscript>
+             ## As if </noscript>
-                 pop @{$self->{open_elements}};
+             pop @{$self->{open_elements}};
-                 !!!parse-error (type => 'in noscript', text => 'script',
+             !!!parse-error (type => 'in noscript', text => 'script',
-                                 token => $token);
+                             token => $token);
-                 $self->{insertion_mode} = IN_HEAD_IM;
+             $self->{insertion_mode} = IN_HEAD_IM;
-                 ## Reprocess in the "in head" insertion mode...
+             ## Reprocess in the "in head" insertion mode...
-               } elsif ($self->{insertion_mode} == AFTER_HEAD_IM) {
+           } elsif ($self->{insertion_mode} == AFTER_HEAD_IM) {
-                 !!!cp ('t120');
+             !!!cp ('t120');
-                 !!!parse-error (type => 'after head',
+             !!!parse-error (type => 'after head',
-                                 text => $token->{tag_name}, token => $token);
+                             text => $token->{tag_name}, token => $token);
-                 push @{$self->{open_elements}},
+             push @{$self->{open_elements}},
-                     [$self->{head_element}, $el_category->{head}];
+                 [$self->{head_element}, $el_category->{head}];
-               } else {
+             $self->{head_element_inserted} = 1;
-                 !!!cp ('t121');
+           } else {
-               }
+             !!!cp ('t121');
+           }
-               ## NOTE: There is a "as if in head" code clone.
+           ## NOTE: There is a "as if in head" code clone.
-               $script_start_tag->();
+           $script_start_tag->();
-               pop @{$self->{open_elements}} # <head>
+           ## ISSUE: A spec bug  [Bug 6038]
-                   if $self->{insertion_mode} == AFTER_HEAD_IM;
+           splice @{$self->{open_elements}}, -2, 1 # <head>
-               next B;
+               if ($self->{insertion_mode} & IM_MASK) == AFTER_HEAD_IM;
-             } elsif ($token->{tag_name} eq 'body' or
+           next B;
-                      $token->{tag_name} eq 'frameset') {
+         } 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>
-Line 4960 
 sub _tree_construction_main ($) {
+Line 2480 
 sub _tree_construction_main ($) {
              } elsif ({
                        body => 1, html => 1,
                       }->{$token->{tag_name}}) {
-               if ($self->{insertion_mode} == BEFORE_HEAD_IM or
+               ## TODO: This branch is entirely redundant.
+               if ($self->{insertion_mode} == BEFORE_HEAD_IM or
                    $self->{insertion_mode} == IN_HEAD_IM or
                    $self->{insertion_mode} == IN_HEAD_NOSCRIPT_IM) {
                  !!!cp ('t140');
-Line 4986 
 sub _tree_construction_main ($) {
+Line 2507 
 sub _tree_construction_main ($) {
                ## Ignore the token
                !!!next-token;
                next B;
-             } elsif ($token->{tag_name} eq 'br') {
+         } elsif ($token->{tag_name} eq 'br') {
-               if ($self->{insertion_mode} == BEFORE_HEAD_IM) {
+           if ($self->{insertion_mode} == BEFORE_HEAD_IM) {
-                 !!!cp ('t142.2');
+             !!!cp ('t142.2');
-                 ## (before head) as if <head>, (in head) as if </head>
+             ## (before head) as if <head>, (in head) as if </head>
-                 !!!create-element ($self->{head_element}, $HTML_NS, 'head',, $token);
+             !!!create-element ($self->{head_element}, $HTML_NS, 'head',, $token);
-                 $self->{open_elements}->[-1]->[0]->append_child ($self->{head_element});
+             $self->{open_elements}->[-1]->[0]->append_child ($self->{head_element});
-                 $self->{insertion_mode} = AFTER_HEAD_IM;
+             $self->{insertion_mode} = AFTER_HEAD_IM;
-                 ## Reprocess in the "after head" insertion mode...
+             ## Reprocess in the "after head" insertion mode...
-               } elsif ($self->{insertion_mode} == IN_HEAD_IM) {
+           } elsif ($self->{insertion_mode} == IN_HEAD_IM) {
-                 !!!cp ('t143.2');
+             !!!cp ('t143.2');
-                 ## As if </head>
+             ## As if </head>
-                 pop @{$self->{open_elements}};
+             pop @{$self->{open_elements}};
-                 $self->{insertion_mode} = AFTER_HEAD_IM;
+             $self->{insertion_mode} = AFTER_HEAD_IM;
-                 ## Reprocess in the "after head" insertion mode...
+             ## Reprocess in the "after head" insertion mode...
-               } elsif ($self->{insertion_mode} == IN_HEAD_NOSCRIPT_IM) {
+           } elsif ($self->{insertion_mode} == IN_HEAD_NOSCRIPT_IM) {
-                 !!!cp ('t143.3');
+             !!!cp ('t143.3');
-                 ## ISSUE: Two parse errors for <head><noscript></br>
+             ## NOTE: Two parse errors for <head><noscript></br>
-                 !!!parse-error (type => 'unmatched end tag',
+             !!!parse-error (type => 'unmatched end tag',
-                                 text => 'br', token => $token);
+                             text => 'br', token => $token);
-                 ## As if </noscript>
+             ## As if </noscript>
-                 pop @{$self->{open_elements}};
+             pop @{$self->{open_elements}};
-                 $self->{insertion_mode} = IN_HEAD_IM;
+             $self->{insertion_mode} = IN_HEAD_IM;
-                 ## Reprocess in the "in head" insertion mode...
+             ## Reprocess in the "in head" insertion mode...
-                 ## As if </head>
+             ## As if </head>
-                 pop @{$self->{open_elements}};
+             pop @{$self->{open_elements}};
-                 $self->{insertion_mode} = AFTER_HEAD_IM;
+             $self->{insertion_mode} = AFTER_HEAD_IM;
-                 ## Reprocess in the "after head" insertion mode...
+             ## Reprocess in the "after head" insertion mode...
-               } elsif ($self->{insertion_mode} == AFTER_HEAD_IM) {
+           } elsif ($self->{insertion_mode} == AFTER_HEAD_IM) {
-                 !!!cp ('t143.4');
+             !!!cp ('t143.4');
-                 #
+             #
-               } else {
+           } else {
-                 die "$0: $self->{insertion_mode}: Unknown insertion mode";
+             die "$0: $self->{insertion_mode}: Unknown insertion mode";
-               }
+           }
-               ## ISSUE: does not agree with IE7 - it doesn't ignore </br>.
+           #
-               !!!parse-error (type => 'unmatched end tag',
+         } else { ## Other end tags
-                               text => 'br', token => $token);
-               ## Ignore the token
-               !!!next-token;
-               next B;
-             } else {
                !!!cp ('t145');
                !!!parse-error (type => 'unmatched end tag',
                                text => $token->{tag_name}, token => $token);
-Line 5074 
 sub _tree_construction_main ($) {
+Line 2590 
 sub _tree_construction_main ($) {
              !!!insert-element ('body',, $token);
              $self->{insertion_mode} = IN_BODY_IM;
              ## reprocess
-             next B;
+         next B;
        } elsif ($token->{type} == END_OF_FILE_TOKEN) {
          if ($self->{insertion_mode} == BEFORE_HEAD_IM) {
            !!!cp ('t149.1');
-Line 5132 
 sub _tree_construction_main ($) {
+Line 2648 
 sub _tree_construction_main ($) {
        } 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');
-Line 5149 
 sub _tree_construction_main ($) {
+Line 2663 
 sub _tree_construction_main ($) {
                   caption => 1, col => 1, colgroup => 1, tbody => 1,
                   td => 1, tfoot => 1, th => 1, thead => 1, tr => 1,
                  }->{$token->{tag_name}}) {
-               if ($self->{insertion_mode} == IN_CELL_IM) {
+               if (($self->{insertion_mode} & IM_MASK) == IN_CELL_IM) {
                  ## have an element in table scope
                  for (reverse 0..$#{$self->{open_elements}}) {
                    my $node = $self->{open_elements}->[$_];
-                   if ($node->[1] & TABLE_CELL_EL) {
+                   if ($node->[1] == TABLE_CELL_EL) {
                      !!!cp ('t151');
                      ## Close the cell
-Line 5177 
 sub _tree_construction_main ($) {
+Line 2691 
 sub _tree_construction_main ($) {
                  !!!nack ('t153.1');
                  !!!next-token;
                  next B;
-               } elsif ($self->{insertion_mode} == IN_CAPTION_IM) {
+               } elsif (($self->{insertion_mode} & IM_MASK) == IN_CAPTION_IM) {
                  !!!parse-error (type => 'not closed', text => 'caption',
                                  token => $token);
-Line 5187 
 sub _tree_construction_main ($) {
+Line 2701 
 sub _tree_construction_main ($) {
                  INSCOPE: {
                    for (reverse 0..$#{$self->{open_elements}}) {
                      my $node = $self->{open_elements}->[$_];
-                     if ($node->[1] & CAPTION_EL) {
+                     if ($node->[1] == CAPTION_EL) {
                        !!!cp ('t155');
                        $i = $_;
                        last INSCOPE;
-Line 5213 
 sub _tree_construction_main ($) {
+Line 2727 
 sub _tree_construction_main ($) {
                    pop @{$self->{open_elements}};
                  }
-                 unless ($self->{open_elements}->[-1]->[1] & CAPTION_EL) {
+                 unless ($self->{open_elements}->[-1]->[1] == CAPTION_EL) {
                    !!!cp ('t159');
                    !!!parse-error (type => 'not closed',
                                    text => $self->{open_elements}->[-1]->[0]
-Line 5242 
 sub _tree_construction_main ($) {
+Line 2756 
 sub _tree_construction_main ($) {
              }
            } elsif ($token->{type} == END_TAG_TOKEN) {
              if ($token->{tag_name} eq 'td' or $token->{tag_name} eq 'th') {
-               if ($self->{insertion_mode} == IN_CELL_IM) {
+               if (($self->{insertion_mode} & IM_MASK) == IN_CELL_IM) {
                  ## have an element in table scope
                  my $i;
                  INSCOPE: for (reverse 0..$#{$self->{open_elements}}) {
-Line 5292 
 sub _tree_construction_main ($) {
+Line 2806 
 sub _tree_construction_main ($) {
                  !!!next-token;
                  next B;
-               } elsif ($self->{insertion_mode} == IN_CAPTION_IM) {
+               } elsif (($self->{insertion_mode} & IM_MASK) == IN_CAPTION_IM) {
                  !!!cp ('t169');
                  !!!parse-error (type => 'unmatched end tag',
                                  text => $token->{tag_name}, token => $token);
-Line 5304 
 sub _tree_construction_main ($) {
+Line 2818 
 sub _tree_construction_main ($) {
                  #
                }
              } elsif ($token->{tag_name} eq 'caption') {
-               if ($self->{insertion_mode} == IN_CAPTION_IM) {
+               if (($self->{insertion_mode} & IM_MASK) == IN_CAPTION_IM) {
                  ## have a table element in table scope
                  my $i;
                  INSCOPE: {
                    for (reverse 0..$#{$self->{open_elements}}) {
                      my $node = $self->{open_elements}->[$_];
-                     if ($node->[1] & CAPTION_EL) {
+                     if ($node->[1] == CAPTION_EL) {
                        !!!cp ('t171');
                        $i = $_;
                        last INSCOPE;
-Line 5335 
 sub _tree_construction_main ($) {
+Line 2849 
 sub _tree_construction_main ($) {
                    pop @{$self->{open_elements}};
                  }
-                 unless ($self->{open_elements}->[-1]->[1] & CAPTION_EL) {
+                 unless ($self->{open_elements}->[-1]->[1] == CAPTION_EL) {
                    !!!cp ('t175');
                    !!!parse-error (type => 'not closed',
                                    text => $self->{open_elements}->[-1]->[0]
-Line 5353 
 sub _tree_construction_main ($) {
+Line 2867 
 sub _tree_construction_main ($) {
                  !!!next-token;
                  next B;
-               } elsif ($self->{insertion_mode} == IN_CELL_IM) {
+               } elsif (($self->{insertion_mode} & IM_MASK) == IN_CELL_IM) {
                  !!!cp ('t177');
                  !!!parse-error (type => 'unmatched end tag',
                                  text => $token->{tag_name}, token => $token);
-Line 5368 
 sub _tree_construction_main ($) {
+Line 2882 
 sub _tree_construction_main ($) {
                        table => 1, tbody => 1, tfoot => 1,
                        thead => 1, tr => 1,
                       }->{$token->{tag_name}} and
-                      $self->{insertion_mode} == IN_CELL_IM) {
+                      ($self->{insertion_mode} & IM_MASK) == IN_CELL_IM) {
                ## have an element in table scope
                my $i;
                my $tn;
-Line 5385 
 sub _tree_construction_main ($) {
+Line 2899 
 sub _tree_construction_main ($) {
                                line => $token->{line},
                                column => $token->{column}};
                      next B;
-                   } elsif ($node->[1] & TABLE_CELL_EL) {
+                   } elsif ($node->[1] == TABLE_CELL_EL) {
                      !!!cp ('t180');
                      $tn = $node->[0]->manakai_local_name;
                      ## NOTE: There is exactly one |td| or |th| element
-Line 5405 
 sub _tree_construction_main ($) {
+Line 2919 
 sub _tree_construction_main ($) {
                  next B;
                } # INSCOPE
              } elsif ($token->{tag_name} eq 'table' and
-                      $self->{insertion_mode} == IN_CAPTION_IM) {
+                      ($self->{insertion_mode} & IM_MASK) == IN_CAPTION_IM) {
                !!!parse-error (type => 'not closed', text => 'caption',
                                token => $token);
-Line 5414 
 sub _tree_construction_main ($) {
+Line 2928 
 sub _tree_construction_main ($) {
                my $i;
                INSCOPE: for (reverse 0..$#{$self->{open_elements}}) {
                  my $node = $self->{open_elements}->[$_];
-                 if ($node->[1] & CAPTION_EL) {
+                 if ($node->[1] == CAPTION_EL) {
                    !!!cp ('t184');
                    $i = $_;
                    last INSCOPE;
-Line 5425 
 sub _tree_construction_main ($) {
+Line 2939 
 sub _tree_construction_main ($) {
                } # INSCOPE
                unless (defined $i) {
                  !!!cp ('t186');
+         ## TODO: Wrong error type?
                  !!!parse-error (type => 'unmatched end tag',
                                  text => 'caption', token => $token);
                  ## Ignore the token
-Line 5438 
 sub _tree_construction_main ($) {
+Line 2953 
 sub _tree_construction_main ($) {
                  pop @{$self->{open_elements}};
                }
-               unless ($self->{open_elements}->[-1]->[1] & CAPTION_EL) {
+               unless ($self->{open_elements}->[-1]->[1] == CAPTION_EL) {
                  !!!cp ('t188');
                  !!!parse-error (type => 'not closed',
                                  text => $self->{open_elements}->[-1]->[0]
-Line 5470 
 sub _tree_construction_main ($) {
+Line 2985 
 sub _tree_construction_main ($) {
                  !!!cp ('t191');
                  #
                }
-             } elsif ({
+         } elsif ({
-                       tbody => 1, tfoot => 1,
+                   tbody => 1, tfoot => 1,
-                       thead => 1, tr => 1,
+                   thead => 1, tr => 1,
-                      }->{$token->{tag_name}} and
+                  }->{$token->{tag_name}} and
-                      $self->{insertion_mode} == IN_CAPTION_IM) {
+                  ($self->{insertion_mode} & IM_MASK) == IN_CAPTION_IM) {
-               !!!cp ('t192');
+           !!!cp ('t192');
-               !!!parse-error (type => 'unmatched end tag',
+           !!!parse-error (type => 'unmatched end tag',
-                               text => $token->{tag_name}, token => $token);
+                           text => $token->{tag_name}, token => $token);
-               ## Ignore the token
+           ## Ignore the token
-               !!!next-token;
+           !!!next-token;
-               next B;
+           next B;
-             } else {
+         } else {
-               !!!cp ('t193');
+           !!!cp ('t193');
-               #
+           #
-             }
+         }
        } elsif ($token->{type} == END_OF_FILE_TOKEN) {
          for my $entry (@{$self->{open_elements}}) {
            unless ($entry->[1] & ALL_END_TAG_OPTIONAL_EL) {
-Line 5505 
 sub _tree_construction_main ($) {
+Line 3020 
 sub _tree_construction_main ($) {
      } elsif ($self->{insertion_mode} & TABLE_IMS) {
        if ($token->{type} == CHARACTER_TOKEN) {
          if (not $open_tables->[-1]->[1] and # tainted
-             $token->{data} =~ s/^([\x09\x0A\x0B\x0C\x20]+)//) {
+             $token->{data} =~ s/^([\x09\x0A\x0C\x20]+)//) {
            $self->{open_elements}->[-1]->[0]->manakai_append_text ($1);
            unless (length $token->{data}) {
-Line 5519 
 sub _tree_construction_main ($) {
+Line 3034 
 sub _tree_construction_main ($) {
          !!!parse-error (type => 'in table:#text', token => $token);
-             ## As if in body, but insert into foster parent element
+         ## NOTE: As if in body, but insert into the foster parent element.
-             ## ISSUE: Spec says that "whenever a node would be inserted
+         $reconstruct_active_formatting_elements->($insert_to_foster);
-             ## into the current node" while characters might not be
-             ## result in a new Text node.
-             $reconstruct_active_formatting_elements->($insert_to_foster);
-             if ($self->{open_elements}->[-1]->[1] & TABLE_ROWS_EL) {
+         if ($self->{open_elements}->[-1]->[1] & TABLE_ROWS_EL) {
-               # MUST
+           # MUST
-               my $foster_parent_element;
+           my $foster_parent_element;
-               my $next_sibling;
+           my $next_sibling;
-               my $prev_sibling;
+           my $prev_sibling;
-               OE: for (reverse 0..$#{$self->{open_elements}}) {
+           OE: for (reverse 0..$#{$self->{open_elements}}) {
-                 if ($self->{open_elements}->[$_]->[1] & TABLE_EL) {
+             if ($self->{open_elements}->[$_]->[1] == TABLE_EL) {
-                   my $parent = $self->{open_elements}->[$_]->[0]->parent_node;
+               my $parent = $self->{open_elements}->[$_]->[0]->parent_node;
-                   if (defined $parent and $parent->node_type == 1) {
+               if (defined $parent and $parent->node_type == 1) {
-                     !!!cp ('t196');
+                 $foster_parent_element = $parent;
-                     $foster_parent_element = $parent;
+                 !!!cp ('t196');
-                     $next_sibling = $self->{open_elements}->[$_]->[0];
+                 $next_sibling = $self->{open_elements}->[$_]->[0];
-                     $prev_sibling = $next_sibling->previous_sibling;
+                 $prev_sibling = $next_sibling->previous_sibling;
-                   } else {
+                 #
-                     !!!cp ('t197');
-                     $foster_parent_element = $self->{open_elements}->[$_ - 1]->[0];
-                     $prev_sibling = $foster_parent_element->last_child;
-                   }
-                   last OE;
-                 }
-               } # OE
-               $foster_parent_element = $self->{open_elements}->[0]->[0] and
-               $prev_sibling = $foster_parent_element->last_child
-                 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');
+                 !!!cp ('t197');
-                 $foster_parent_element->insert_before
+                 $foster_parent_element = $self->{open_elements}->[$_ - 1]->[0];
-                   ($self->{document}->create_text_node ($token->{data}),
+                 $prev_sibling = $foster_parent_element->last_child;
-                    $next_sibling);
+                 #
                }
+               last OE;
+             }
+           } # OE
+           $foster_parent_element = $self->{open_elements}->[0]->[0] and
+           $prev_sibling = $foster_parent_element->last_child
+               unless defined $foster_parent_element;
+           undef $prev_sibling unless $open_tables->[-1]->[2]; # ~node inserted
+           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);
+           }
            $open_tables->[-1]->[1] = 1; # tainted
+           $open_tables->[-1]->[2] = 1; # ~node inserted
          } else {
+           ## NOTE: Fragment case or in a foster parent'ed element
+           ## (e.g. |<table><span>a|).  In fragment case, whether the
+           ## character is appended to existing node or a new node is
+           ## created is irrelevant, since the foster parent'ed nodes
+           ## are discarded and fragment parsing does not invoke any
+           ## script.
            !!!cp ('t200');
-           $self->{open_elements}->[-1]->[0]->manakai_append_text ($token->{data});
+           $self->{open_elements}->[-1]->[0]->manakai_append_text
+               ($token->{data});
          }
          !!!next-token;
          next B;
        } elsif ($token->{type} == START_TAG_TOKEN) {
          if ({
-              tr => ($self->{insertion_mode} != IN_ROW_IM),
+              tr => (($self->{insertion_mode} & IM_MASK) != IN_ROW_IM),
               th => 1, td => 1,
              }->{$token->{tag_name}}) {
-           if ($self->{insertion_mode} == IN_TABLE_IM) {
+           if (($self->{insertion_mode} & IM_MASK) == IN_TABLE_IM) {
              ## Clear back to table context
              while (not ($self->{open_elements}->[-1]->[1]
                              & TABLE_SCOPING_EL)) {
-Line 5585 
 sub _tree_construction_main ($) {
+Line 3108 
 sub _tree_construction_main ($) {
              ## reprocess in the "in table body" insertion mode...
            }
-           if ($self->{insertion_mode} == IN_TABLE_BODY_IM) {
+           if (($self->{insertion_mode} & IM_MASK) == IN_TABLE_BODY_IM) {
              unless ($token->{tag_name} eq 'tr') {
                !!!cp ('t202');
                !!!parse-error (type => 'missing start tag:tr', token => $token);
-Line 5599 
 sub _tree_construction_main ($) {
+Line 3122 
 sub _tree_construction_main ($) {
                pop @{$self->{open_elements}};
              }
-                 $self->{insertion_mode} = IN_ROW_IM;
+             $self->{insertion_mode} = IN_ROW_IM;
-                 if ($token->{tag_name} eq 'tr') {
+             if ($token->{tag_name} eq 'tr') {
-                   !!!cp ('t204');
+               !!!cp ('t204');
-                   !!!insert-element ($token->{tag_name}, $token->{attributes}, $token);
+               !!!insert-element ($token->{tag_name}, $token->{attributes}, $token);
-                   !!!nack ('t204');
+               $open_tables->[-1]->[2] = 0 if @$open_tables; # ~node inserted
-                   !!!next-token;
+               !!!nack ('t204');
-                   next B;
+               !!!next-token;
-                 } else {
+               next B;
-                   !!!cp ('t205');
+             } else {
-                   !!!insert-element ('tr',, $token);
+               !!!cp ('t205');
-                   ## reprocess in the "in row" insertion mode
+               !!!insert-element ('tr',, $token);
-                 }
+               ## reprocess in the "in row" insertion mode
-               } else {
+             }
-                 !!!cp ('t206');
+           } else {
-               }
+             !!!cp ('t206');
+           }
                ## Clear back to table row context
                while (not ($self->{open_elements}->[-1]->[1]
-Line 5622 
 sub _tree_construction_main ($) {
+Line 3146 
 sub _tree_construction_main ($) {
                  pop @{$self->{open_elements}};
                }
-               !!!insert-element ($token->{tag_name}, $token->{attributes}, $token);
+           !!!insert-element ($token->{tag_name}, $token->{attributes}, $token);
-               $self->{insertion_mode} = IN_CELL_IM;
+           $open_tables->[-1]->[2] = 0 if @$open_tables; # ~node inserted
+           $self->{insertion_mode} = IN_CELL_IM;
-               push @$active_formatting_elements, ['#marker', ''];
+           push @$active_formatting_elements, ['#marker', ''];
-               !!!nack ('t207.1');
+           !!!nack ('t207.1');
+           !!!next-token;
+           next B;
+         } elsif ({
+                   caption => 1, col => 1, colgroup => 1,
+                   tbody => 1, tfoot => 1, thead => 1,
+                   tr => 1, # $self->{insertion_mode} == IN_ROW_IM
+                  }->{$token->{tag_name}}) {
+           if (($self->{insertion_mode} & IM_MASK) == IN_ROW_IM) {
+             ## As if </tr>
+             ## have an element in table scope
+             my $i;
+             INSCOPE: for (reverse 0..$#{$self->{open_elements}}) {
+               my $node = $self->{open_elements}->[$_];
+               if ($node->[1] == TABLE_ROW_EL) {
+                 !!!cp ('t208');
+                 $i = $_;
+                 last INSCOPE;
+               } elsif ($node->[1] & TABLE_SCOPING_EL) {
+                 !!!cp ('t209');
+                 last INSCOPE;
+               }
+             } # INSCOPE
+             unless (defined $i) {
+               !!!cp ('t210');
+               ## TODO: This type is wrong.
+               !!!parse-error (type => 'unmacthed end tag',
+                               text => $token->{tag_name}, token => $token);
+               ## Ignore the token
+               !!!nack ('t210.1');
                !!!next-token;
                next B;
-             } elsif ({
+             }
-                       caption => 1, col => 1, colgroup => 1,
-                       tbody => 1, tfoot => 1, thead => 1,
-                       tr => 1, # $self->{insertion_mode} == IN_ROW_IM
-                      }->{$token->{tag_name}}) {
-               if ($self->{insertion_mode} == IN_ROW_IM) {
-                 ## As if </tr>
-                 ## have an element in table scope
-                 my $i;
-                 INSCOPE: for (reverse 0..$#{$self->{open_elements}}) {
-                   my $node = $self->{open_elements}->[$_];
-                   if ($node->[1] & TABLE_ROW_EL) {
-                     !!!cp ('t208');
-                     $i = $_;
-                     last INSCOPE;
-                   } elsif ($node->[1] & TABLE_SCOPING_EL) {
-                     !!!cp ('t209');
-                     last INSCOPE;
-                   }
-                 } # INSCOPE
-                 unless (defined $i) {
-                   !!!cp ('t210');
- ## TODO: This type is wrong.
-                   !!!parse-error (type => 'unmacthed end tag',
-                                   text => $token->{tag_name}, token => $token);
-                   ## Ignore the token
-                   !!!nack ('t210.1');
-                   !!!next-token;
-                   next B;
-                 }
                  ## Clear back to table row context
                  while (not ($self->{open_elements}->[-1]->[1]
-Line 5682 
 sub _tree_construction_main ($) {
+Line 3207 
 sub _tree_construction_main ($) {
                  }
                }
-               if ($self->{insertion_mode} == IN_TABLE_BODY_IM) {
+               if (($self->{insertion_mode} & IM_MASK) == IN_TABLE_BODY_IM) {
                  ## have an element in table scope
                  my $i;
                  INSCOPE: for (reverse 0..$#{$self->{open_elements}}) {
                    my $node = $self->{open_elements}->[$_];
-                   if ($node->[1] & TABLE_ROW_GROUP_EL) {
+                   if ($node->[1] == TABLE_ROW_GROUP_EL) {
                      !!!cp ('t214');
                      $i = $_;
                      last INSCOPE;
-Line 5729 
 sub _tree_construction_main ($) {
+Line 3254 
 sub _tree_construction_main ($) {
                  !!!cp ('t218');
                }
-               if ($token->{tag_name} eq 'col') {
+           if ($token->{tag_name} eq 'col') {
-                 ## Clear back to table context
+             ## Clear back to table context
-                 while (not ($self->{open_elements}->[-1]->[1]
+             while (not ($self->{open_elements}->[-1]->[1]
-                                 & TABLE_SCOPING_EL)) {
+                             & TABLE_SCOPING_EL)) {
-                   !!!cp ('t219');
+               !!!cp ('t219');
-                   ## ISSUE: Can this state be reached?
+               ## ISSUE: Can this state be reached?
-                   pop @{$self->{open_elements}};
+               pop @{$self->{open_elements}};
-                 }
+             }
-                 !!!insert-element ('colgroup',, $token);
+             !!!insert-element ('colgroup',, $token);
-                 $self->{insertion_mode} = IN_COLUMN_GROUP_IM;
+             $self->{insertion_mode} = IN_COLUMN_GROUP_IM;
-                 ## reprocess
+             ## reprocess
-                 !!!ack-later;
+             $open_tables->[-1]->[2] = 0 if @$open_tables; # ~node inserted
-                 next B;
+             !!!ack-later;
-               } elsif ({
+             next B;
-                         caption => 1,
+           } elsif ({
-                         colgroup => 1,
+                     caption => 1,
-                         tbody => 1, tfoot => 1, thead => 1,
+                     colgroup => 1,
-                        }->{$token->{tag_name}}) {
+                     tbody => 1, tfoot => 1, thead => 1,
-                 ## Clear back to table context
+                    }->{$token->{tag_name}}) {
+             ## Clear back to table context
                  while (not ($self->{open_elements}->[-1]->[1]
                                  & TABLE_SCOPING_EL)) {
                    !!!cp ('t220');
-Line 5756 
 sub _tree_construction_main ($) {
+Line 3282 
 sub _tree_construction_main ($) {
                    pop @{$self->{open_elements}};
                  }
-                 push @$active_formatting_elements, ['#marker', '']
+             push @$active_formatting_elements, ['#marker', '']
-                     if $token->{tag_name} eq 'caption';
+                 if $token->{tag_name} eq 'caption';
-                 !!!insert-element ($token->{tag_name}, $token->{attributes}, $token);
+             !!!insert-element ($token->{tag_name}, $token->{attributes}, $token);
-                 $self->{insertion_mode} = {
+             $open_tables->[-1]->[2] = 0 if @$open_tables; # ~node inserted
-                                            caption => IN_CAPTION_IM,
+             $self->{insertion_mode} = {
-                                            colgroup => IN_COLUMN_GROUP_IM,
+                                        caption => IN_CAPTION_IM,
-                                            tbody => IN_TABLE_BODY_IM,
+                                        colgroup => IN_COLUMN_GROUP_IM,
-                                            tfoot => IN_TABLE_BODY_IM,
+                                        tbody => IN_TABLE_BODY_IM,
-                                            thead => IN_TABLE_BODY_IM,
+                                        tfoot => IN_TABLE_BODY_IM,
-                                           }->{$token->{tag_name}};
+                                        thead => IN_TABLE_BODY_IM,
-                 !!!next-token;
+                                       }->{$token->{tag_name}};
-                 !!!nack ('t220.1');
+             !!!next-token;
-                 next B;
+             !!!nack ('t220.1');
-               } else {
+             next B;
-                 die "$0: in table: <>: $token->{tag_name}";
+           } else {
-               }
+             die "$0: in table: <>: $token->{tag_name}";
+           }
              } elsif ($token->{tag_name} eq 'table') {
                !!!parse-error (type => 'not closed',
                                text => $self->{open_elements}->[-1]->[0]
-Line 5784 
 sub _tree_construction_main ($) {
+Line 3311 
 sub _tree_construction_main ($) {
                my $i;
                INSCOPE: for (reverse 0..$#{$self->{open_elements}}) {
                  my $node = $self->{open_elements}->[$_];
-                 if ($node->[1] & TABLE_EL) {
+                 if ($node->[1] == TABLE_EL) {
                    !!!cp ('t221');
                    $i = $_;
                    last INSCOPE;
-Line 5811 
 sub _tree_construction_main ($) {
+Line 3338 
 sub _tree_construction_main ($) {
                  pop @{$self->{open_elements}};
                }
-               unless ($self->{open_elements}->[-1]->[1] & TABLE_EL) {
+               unless ($self->{open_elements}->[-1]->[1] == TABLE_EL) {
                  !!!cp ('t225');
                  ## NOTE: |<table><tr><table>|
                  !!!parse-error (type => 'not closed',
-Line 5835 
 sub _tree_construction_main ($) {
+Line 3362 
 sub _tree_construction_main ($) {
              !!!cp ('t227.8');
              ## NOTE: This is a "as if in head" code clone.
              $parse_rcdata->(CDATA_CONTENT_MODEL);
+             $open_tables->[-1]->[2] = 0 if @$open_tables; # ~node inserted
              next B;
            } else {
              !!!cp ('t227.7');
-Line 5845 
 sub _tree_construction_main ($) {
+Line 3373 
 sub _tree_construction_main ($) {
              !!!cp ('t227.6');
              ## NOTE: This is a "as if in head" code clone.
              $script_start_tag->();
+             $open_tables->[-1]->[2] = 0 if @$open_tables; # ~node inserted
              next B;
            } else {
              !!!cp ('t227.5');
-Line 5860 
 sub _tree_construction_main ($) {
+Line 3389 
 sub _tree_construction_main ($) {
                                  text => $token->{tag_name}, token => $token);
                  !!!insert-element ($token->{tag_name}, $token->{attributes}, $token);
+                 $open_tables->[-1]->[2] = 0 if @$open_tables; # ~node inserted
                  ## TODO: form element pointer
-Line 5891 
 sub _tree_construction_main ($) {
+Line 3421 
 sub _tree_construction_main ($) {
          $insert = $insert_to_foster;
          #
        } elsif ($token->{type} == END_TAG_TOKEN) {
-             if ($token->{tag_name} eq 'tr' and
+         if ($token->{tag_name} eq 'tr' and
-                 $self->{insertion_mode} == IN_ROW_IM) {
+             ($self->{insertion_mode} & IM_MASK) == IN_ROW_IM) {
-               ## have an element in table scope
+           ## have an element in table scope
                my $i;
                INSCOPE: for (reverse 0..$#{$self->{open_elements}}) {
                  my $node = $self->{open_elements}->[$_];
-                 if ($node->[1] & TABLE_ROW_EL) {
+                 if ($node->[1] == TABLE_ROW_EL) {
                    !!!cp ('t228');
                    $i = $_;
                    last INSCOPE;
-Line 5932 
 sub _tree_construction_main ($) {
+Line 3462 
 sub _tree_construction_main ($) {
                !!!nack ('t231.1');
                next B;
              } elsif ($token->{tag_name} eq 'table') {
-               if ($self->{insertion_mode} == IN_ROW_IM) {
+               if (($self->{insertion_mode} & IM_MASK) == IN_ROW_IM) {
                  ## As if </tr>
                  ## have an element in table scope
                  my $i;
                  INSCOPE: for (reverse 0..$#{$self->{open_elements}}) {
                    my $node = $self->{open_elements}->[$_];
-                   if ($node->[1] & TABLE_ROW_EL) {
+                   if ($node->[1] == TABLE_ROW_EL) {
                      !!!cp ('t233');
                      $i = $_;
                      last INSCOPE;
-Line 5971 
 sub _tree_construction_main ($) {
+Line 3501 
 sub _tree_construction_main ($) {
                  ## reprocess in the "in table body" insertion mode...
                }
-               if ($self->{insertion_mode} == IN_TABLE_BODY_IM) {
+               if (($self->{insertion_mode} & IM_MASK) == IN_TABLE_BODY_IM) {
                  ## have an element in table scope
                  my $i;
                  INSCOPE: for (reverse 0..$#{$self->{open_elements}}) {
                    my $node = $self->{open_elements}->[$_];
-                   if ($node->[1] & TABLE_ROW_GROUP_EL) {
+                   if ($node->[1] == TABLE_ROW_GROUP_EL) {
                      !!!cp ('t237');
                      $i = $_;
                      last INSCOPE;
-Line 6023 
 sub _tree_construction_main ($) {
+Line 3553 
 sub _tree_construction_main ($) {
                my $i;
                INSCOPE: for (reverse 0..$#{$self->{open_elements}}) {
                  my $node = $self->{open_elements}->[$_];
-                 if ($node->[1] & TABLE_EL) {
+                 if ($node->[1] == TABLE_EL) {
                    !!!cp ('t241');
                    $i = $_;
                    last INSCOPE;
-Line 6053 
 sub _tree_construction_main ($) {
+Line 3583 
 sub _tree_construction_main ($) {
                        tbody => 1, tfoot => 1, thead => 1,
                       }->{$token->{tag_name}} and
                       $self->{insertion_mode} & ROW_IMS) {
-               if ($self->{insertion_mode} == IN_ROW_IM) {
+               if (($self->{insertion_mode} & IM_MASK) == IN_ROW_IM) {
                  ## have an element in table scope
                  my $i;
                  INSCOPE: for (reverse 0..$#{$self->{open_elements}}) {
-Line 6082 
 sub _tree_construction_main ($) {
+Line 3612 
 sub _tree_construction_main ($) {
                  my $i;
                  INSCOPE: for (reverse 0..$#{$self->{open_elements}}) {
                    my $node = $self->{open_elements}->[$_];
-                   if ($node->[1] & TABLE_ROW_EL) {
+                   if ($node->[1] == TABLE_ROW_EL) {
                      !!!cp ('t250');
                      $i = $_;
                      last INSCOPE;
-Line 6172 
 sub _tree_construction_main ($) {
+Line 3702 
 sub _tree_construction_main ($) {
            #
          }
        } elsif ($token->{type} == END_OF_FILE_TOKEN) {
-         unless ($self->{open_elements}->[-1]->[1] & HTML_EL and
+         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');
-Line 6187 
 sub _tree_construction_main ($) {
+Line 3717 
 sub _tree_construction_main ($) {
        } else {
          die "$0: $token->{type}: Unknown token type";
        }
-     } elsif ($self->{insertion_mode} == IN_COLUMN_GROUP_IM) {
+     } elsif (($self->{insertion_mode} & IM_MASK) == IN_COLUMN_GROUP_IM) {
            if ($token->{type} == CHARACTER_TOKEN) {
-             if ($token->{data} =~ s/^([\x09\x0A\x0B\x0C\x20]+)//) {
+             if ($token->{data} =~ s/^([\x09\x0A\x0C\x20]+)//) {
                $self->{open_elements}->[-1]->[0]->manakai_append_text ($1);
                unless (length $token->{data}) {
                  !!!cp ('t260');
-Line 6214 
 sub _tree_construction_main ($) {
+Line 3744 
 sub _tree_construction_main ($) {
              }
            } elsif ($token->{type} == END_TAG_TOKEN) {
              if ($token->{tag_name} eq 'colgroup') {
-               if ($self->{open_elements}->[-1]->[1] & HTML_EL) {
+               if ($self->{open_elements}->[-1]->[1] == HTML_EL) {
                  !!!cp ('t264');
                  !!!parse-error (type => 'unmatched end tag',
                                  text => 'colgroup', token => $token);
-Line 6240 
 sub _tree_construction_main ($) {
+Line 3770 
 sub _tree_construction_main ($) {
                #
              }
        } elsif ($token->{type} == END_OF_FILE_TOKEN) {
-         if ($self->{open_elements}->[-1]->[1] & HTML_EL and
+         if ($self->{open_elements}->[-1]->[1] == HTML_EL and
              @{$self->{open_elements}} == 1) { # redundant, maybe
            !!!cp ('t270.2');
            ## Stop parsing.
-Line 6258 
 sub _tree_construction_main ($) {
+Line 3788 
 sub _tree_construction_main ($) {
        }
            ## As if </colgroup>
-           if ($self->{open_elements}->[-1]->[1] & HTML_EL) {
+           if ($self->{open_elements}->[-1]->[1] == HTML_EL) {
              !!!cp ('t269');
  ## TODO: Wrong error type?
              !!!parse-error (type => 'unmatched end tag',
-Line 6283 
 sub _tree_construction_main ($) {
+Line 3813 
 sub _tree_construction_main ($) {
          next B;
        } elsif ($token->{type} == START_TAG_TOKEN) {
          if ($token->{tag_name} eq 'option') {
-           if ($self->{open_elements}->[-1]->[1] & OPTION_EL) {
+           if ($self->{open_elements}->[-1]->[1] == OPTION_EL) {
              !!!cp ('t272');
              ## As if </option>
              pop @{$self->{open_elements}};
-Line 6296 
 sub _tree_construction_main ($) {
+Line 3826 
 sub _tree_construction_main ($) {
            !!!next-token;
            next B;
          } elsif ($token->{tag_name} eq 'optgroup') {
-           if ($self->{open_elements}->[-1]->[1] & OPTION_EL) {
+           if ($self->{open_elements}->[-1]->[1] == OPTION_EL) {
              !!!cp ('t274');
              ## As if </option>
              pop @{$self->{open_elements}};
-Line 6304 
 sub _tree_construction_main ($) {
+Line 3834 
 sub _tree_construction_main ($) {
              !!!cp ('t275');
            }
-           if ($self->{open_elements}->[-1]->[1] & OPTGROUP_EL) {
+           if ($self->{open_elements}->[-1]->[1] == OPTGROUP_EL) {
              !!!cp ('t276');
              ## As if </optgroup>
              pop @{$self->{open_elements}};
-Line 6317 
 sub _tree_construction_main ($) {
+Line 3847 
 sub _tree_construction_main ($) {
            !!!next-token;
            next B;
          } elsif ({
-                    select => 1, input => 1, textarea => 1,
+                    select => 1, input => 1, textarea => 1, keygen => 1,
                   }->{$token->{tag_name}} or
-                  ($self->{insertion_mode} == IN_SELECT_IN_TABLE_IM and
+                  (($self->{insertion_mode} & IM_MASK)
+                       == IN_SELECT_IN_TABLE_IM and
                    {
                     caption => 1, table => 1,
                     tbody => 1, tfoot => 1, thead => 1,
                     tr => 1, td => 1, th => 1,
                    }->{$token->{tag_name}})) {
-           ## TODO: The type below is not good - <select> is replaced by </select>
-           !!!parse-error (type => 'not closed', text => 'select',
+           ## 1. Parse error.
-                           token => $token);
+           if ($token->{tag_name} eq 'select') {
-           ## NOTE: As if the token were </select> (<select> case) or
+               !!!parse-error (type => 'select in select', ## XXX: documentation
-           ## as if there were </select> (otherwise).
+                               token => $token);
-           ## have an element in table scope
+           } else {
+             !!!parse-error (type => 'not closed', text => 'select',
+                             token => $token);
+           }
+           ## 2./<select>-1. Unless "have an element in table scope" (select):
            my $i;
            INSCOPE: for (reverse 0..$#{$self->{open_elements}}) {
              my $node = $self->{open_elements}->[$_];
-             if ($node->[1] & SELECT_EL) {
+             if ($node->[1] == SELECT_EL) {
                !!!cp ('t278');
                $i = $_;
                last INSCOPE;
-Line 6345 
 sub _tree_construction_main ($) {
+Line 3881 
 sub _tree_construction_main ($) {
            } # INSCOPE
            unless (defined $i) {
              !!!cp ('t280');
-             !!!parse-error (type => 'unmatched end tag',
+             if ($token->{tag_name} eq 'select') {
-                             text => 'select', token => $token);
+               ## NOTE: This error would be raised when
-             ## Ignore the token
+               ## |select.innerHTML = '<select>'| is executed; in this
+               ## case two errors, "select in select" and "unmatched
+               ## end tags" are reported to the user, the latter might
+               ## be confusing but this is what the spec requires.
+               !!!parse-error (type => 'unmatched end tag',
+                               text => 'select',
+                               token => $token);
+             }
+             ## Ignore the token.
              !!!nack ('t280.1');
              !!!next-token;
              next B;
            }
+           ## 3. Otherwise, as if there were <select>:
            !!!cp ('t281');
            splice @{$self->{open_elements}}, $i;
-Line 6379 
 sub _tree_construction_main ($) {
+Line 3925 
 sub _tree_construction_main ($) {
          }
        } elsif ($token->{type} == END_TAG_TOKEN) {
          if ($token->{tag_name} eq 'optgroup') {
-           if ($self->{open_elements}->[-1]->[1] & OPTION_EL and
+           if ($self->{open_elements}->[-1]->[1] == OPTION_EL and
-               $self->{open_elements}->[-2]->[1] & OPTGROUP_EL) {
+               $self->{open_elements}->[-2]->[1] == OPTGROUP_EL) {
              !!!cp ('t283');
              ## As if </option>
              splice @{$self->{open_elements}}, -2;
-           } elsif ($self->{open_elements}->[-1]->[1] & OPTGROUP_EL) {
+           } elsif ($self->{open_elements}->[-1]->[1] == OPTGROUP_EL) {
              !!!cp ('t284');
              pop @{$self->{open_elements}};
            } else {
-Line 6397 
 sub _tree_construction_main ($) {
+Line 3943 
 sub _tree_construction_main ($) {
            !!!next-token;
            next B;
          } elsif ($token->{tag_name} eq 'option') {
-           if ($self->{open_elements}->[-1]->[1] & OPTION_EL) {
+           if ($self->{open_elements}->[-1]->[1] == OPTION_EL) {
              !!!cp ('t286');
              pop @{$self->{open_elements}};
            } else {
-Line 6414 
 sub _tree_construction_main ($) {
+Line 3960 
 sub _tree_construction_main ($) {
            my $i;
            INSCOPE: for (reverse 0..$#{$self->{open_elements}}) {
              my $node = $self->{open_elements}->[$_];
-             if ($node->[1] & SELECT_EL) {
+             if ($node->[1] == SELECT_EL) {
                !!!cp ('t288');
                $i = $_;
                last INSCOPE;
-Line 6441 
 sub _tree_construction_main ($) {
+Line 3987 
 sub _tree_construction_main ($) {
            !!!nack ('t291.1');
            !!!next-token;
            next B;
-         } elsif ($self->{insertion_mode} == IN_SELECT_IN_TABLE_IM and
+         } elsif (($self->{insertion_mode} & IM_MASK)
+                      == IN_SELECT_IN_TABLE_IM and
                   {
                    caption => 1, table => 1, tbody => 1,
                    tfoot => 1, thead => 1, tr => 1, td => 1, th => 1,
-Line 6476 
 sub _tree_construction_main ($) {
+Line 4023 
 sub _tree_construction_main ($) {
            undef $i;
            INSCOPE: for (reverse 0..$#{$self->{open_elements}}) {
              my $node = $self->{open_elements}->[$_];
-             if ($node->[1] & SELECT_EL) {
+             if ($node->[1] == SELECT_EL) {
                !!!cp ('t295');
                $i = $_;
                last INSCOPE;
-Line 6515 
 sub _tree_construction_main ($) {
+Line 4062 
 sub _tree_construction_main ($) {
            next B;
          }
        } elsif ($token->{type} == END_OF_FILE_TOKEN) {
-         unless ($self->{open_elements}->[-1]->[1] & HTML_EL and
+         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);
-Line 6530 
 sub _tree_construction_main ($) {
+Line 4077 
 sub _tree_construction_main ($) {
        }
      } elsif ($self->{insertion_mode} & BODY_AFTER_IMS) {
        if ($token->{type} == CHARACTER_TOKEN) {
-         if ($token->{data} =~ s/^([\x09\x0A\x0B\x0C\x20]+)//) {
+         if ($token->{data} =~ s/^([\x09\x0A\x0C\x20]+)//) {
            my $data = $1;
            ## As if in body
            $reconstruct_active_formatting_elements->($insert_to_current);
-Line 6547 
 sub _tree_construction_main ($) {
+Line 4094 
 sub _tree_construction_main ($) {
          if ($self->{insertion_mode} == AFTER_HTML_BODY_IM) {
            !!!cp ('t301');
            !!!parse-error (type => 'after html:#text', token => $token);
+           #
-           ## Reprocess in the "after body" insertion mode.
          } else {
            !!!cp ('t302');
+           ## "after body" insertion mode
+           !!!parse-error (type => 'after body:#text', token => $token);
+           #
          }
-         ## "after body" insertion mode
-         !!!parse-error (type => 'after body:#text', token => $token);
          $self->{insertion_mode} = IN_BODY_IM;
          ## reprocess
-Line 6564 
 sub _tree_construction_main ($) {
+Line 4110 
 sub _tree_construction_main ($) {
            !!!cp ('t303');
            !!!parse-error (type => 'after html',
                            text => $token->{tag_name}, token => $token);
+           #
-           ## Reprocess in the "after body" insertion mode.
          } else {
            !!!cp ('t304');
+           ## "after body" insertion mode
+           !!!parse-error (type => 'after body',
+                           text => $token->{tag_name}, token => $token);
+           #
          }
-         ## "after body" insertion mode
-         !!!parse-error (type => 'after body',
-                         text => $token->{tag_name}, token => $token);
          $self->{insertion_mode} = IN_BODY_IM;
          !!!ack-later;
          ## reprocess
-Line 6584 
 sub _tree_construction_main ($) {
+Line 4129 
 sub _tree_construction_main ($) {
            !!!parse-error (type => 'after html:/',
                            text => $token->{tag_name}, token => $token);
-           $self->{insertion_mode} = AFTER_BODY_IM;
+           $self->{insertion_mode} = IN_BODY_IM;
-           ## Reprocess in the "after body" insertion mode.
+           ## Reprocess.
+           next B;
          } else {
            !!!cp ('t306');
          }
-Line 6623 
 sub _tree_construction_main ($) {
+Line 4169 
 sub _tree_construction_main ($) {
        }
      } elsif ($self->{insertion_mode} & FRAME_IMS) {
        if ($token->{type} == CHARACTER_TOKEN) {
-         if ($token->{data} =~ s/^([\x09\x0A\x0B\x0C\x20]+)//) {
+         if ($token->{data} =~ s/^([\x09\x0A\x0C\x20]+)//) {
            $self->{open_elements}->[-1]->[0]->manakai_append_text ($1);
            unless (length $token->{data}) {
-Line 6633 
 sub _tree_construction_main ($) {
+Line 4179 
 sub _tree_construction_main ($) {
            }
          }
-         if ($token->{data} =~ s/^[^\x09\x0A\x0B\x0C\x20]+//) {
+         if ($token->{data} =~ s/^[^\x09\x0A\x0C\x20]+//) {
            if ($self->{insertion_mode} == IN_FRAMESET_IM) {
              !!!cp ('t311');
              !!!parse-error (type => 'in frameset:#text', token => $token);
-Line 6703 
 sub _tree_construction_main ($) {
+Line 4249 
 sub _tree_construction_main ($) {
        } elsif ($token->{type} == END_TAG_TOKEN) {
          if ($token->{tag_name} eq 'frameset' and
              $self->{insertion_mode} == IN_FRAMESET_IM) {
-           if ($self->{open_elements}->[-1]->[1] & HTML_EL and
+           if ($self->{open_elements}->[-1]->[1] == HTML_EL and
                @{$self->{open_elements}} == 1) {
              !!!cp ('t325');
              !!!parse-error (type => 'unmatched end tag',
-Line 6717 
 sub _tree_construction_main ($) {
+Line 4263 
 sub _tree_construction_main ($) {
            }
            if (not defined $self->{inner_html_node} and
-               not ($self->{open_elements}->[-1]->[1] & FRAMESET_EL)) {
+               not ($self->{open_elements}->[-1]->[1] == FRAMESET_EL)) {
              !!!cp ('t327');
              $self->{insertion_mode} = AFTER_FRAMESET_IM;
            } else {
-Line 6749 
 sub _tree_construction_main ($) {
+Line 4295 
 sub _tree_construction_main ($) {
            next B;
          }
        } elsif ($token->{type} == END_OF_FILE_TOKEN) {
-         unless ($self->{open_elements}->[-1]->[1] & HTML_EL and
+         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);
-Line 6762 
 sub _tree_construction_main ($) {
+Line 4308 
 sub _tree_construction_main ($) {
        } else {
          die "$0: $token->{type}: Unknown token type";
        }
-       ## ISSUE: An issue in spec here
      } else {
        die "$0: $self->{insertion_mode}: Unknown insertion mode";
      }
-Line 6781 
 sub _tree_construction_main ($) {
+Line 4325 
 sub _tree_construction_main ($) {
          $parse_rcdata->(CDATA_CONTENT_MODEL);
          next B;
        } elsif ({
-                 base => 1, link => 1,
+                 base => 1, command => 1, eventsource => 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}, $token);
-         pop @{$self->{open_elements}}; ## ISSUE: This step is missing in the spec.
+         pop @{$self->{open_elements}};
          !!!ack ('t334.1');
          !!!next-token;
          next 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}, $token);
-         my $meta_el = pop @{$self->{open_elements}}; ## ISSUE: This step is missing in the spec.
+         my $meta_el = pop @{$self->{open_elements}};
          unless ($self->{confident}) {
            if ($token->{attributes}->{charset}) {
-Line 6810 
 sub _tree_construction_main ($) {
+Line 4354 
 sub _tree_construction_main ($) {
            } elsif ($token->{attributes}->{content}) {
              if ($token->{attributes}->{content}->{value}
                  =~ /[Cc][Hh][Aa][Rr][Ss][Ee][Tt]
-                     [\x09-\x0D\x20]*=
+                     [\x09\x0A\x0C\x0D\x20]*=
-                     [\x09-\x0D\x20]*(?>"([^"]*)"|'([^']*)'|
+                     [\x09\x0A\x0C\x0D\x20]*(?>"([^"]*)"|'([^']*)'|
-                     ([^"'\x09-\x0D\x20][^\x09-\x0D\x20\x3B]*))/x) {
+                     ([^"'\x09\x0A\x0C\x0D\x20][^\x09\x0A\x0C\x0D\x20\x3B]*))
+                    /x) {
                !!!cp ('t336');
                ## NOTE: Whether the encoding is supported or not is handled
                ## in the {change_encoding} callback.
-Line 6853 
 sub _tree_construction_main ($) {
+Line 4398 
 sub _tree_construction_main ($) {
          !!!parse-error (type => 'in body', text => 'body', token => $token);
          if (@{$self->{open_elements}} == 1 or
-             not ($self->{open_elements}->[1]->[1] & BODY_EL)) {
+             not ($self->{open_elements}->[1]->[1] == BODY_EL)) {
            !!!cp ('t342');
            ## Ignore the token
          } else {
-Line 6871 
 sub _tree_construction_main ($) {
+Line 4416 
 sub _tree_construction_main ($) {
          !!!next-token;
          next B;
        } elsif ({
-                 address => 1, blockquote => 1, center => 1, dir => 1,
+                 ## NOTE: Start tags for non-phrasing flow content elements
-                 div => 1, dl => 1, fieldset => 1,
-                 h1 => 1, h2 => 1, h3 => 1, h4 => 1, h5 => 1, h6 => 1,
+                 ## NOTE: The normal one
-                 menu => 1, ol => 1, p => 1, ul => 1,
+                 address => 1, article => 1, aside => 1, blockquote => 1,
+                 center => 1, datagrid => 1, details => 1, dialog => 1,
+                 dir => 1, div => 1, dl => 1, fieldset => 1, figure => 1,
+                 footer => 1, h1 => 1, h2 => 1, h3 => 1, h4 => 1, h5 => 1,
+                 h6 => 1, header => 1, menu => 1, nav => 1, ol => 1, p => 1,
+                 section => 1, ul => 1,
+                 ## NOTE: As normal, but drops leading newline
                  pre => 1, listing => 1,
+                 ## NOTE: As normal, but interacts with the form element pointer
                  form => 1,
                  table => 1,
                  hr => 1,
                 }->{$token->{tag_name}}) {
+         ## 1. When there is an opening |form| element:
          if ($token->{tag_name} eq 'form' and defined $self->{form_element}) {
            !!!cp ('t350');
            !!!parse-error (type => 'in form:form', token => $token);
-Line 6889 
 sub _tree_construction_main ($) {
+Line 4444 
 sub _tree_construction_main ($) {
            next B;
          }
-         ## has a p element in scope
+         ## 2. Close the |p| element, if any.
-         INSCOPE: for (reverse @{$self->{open_elements}}) {
+         if ($token->{tag_name} ne 'table' or # The Hixie Quirk
-           if ($_->[1] & P_EL) {
+             $self->{document}->manakai_compat_mode ne 'quirks') {
-             !!!cp ('t344');
+           ## has a p element in scope
-             !!!back-token; # <form>
+           INSCOPE: for (reverse @{$self->{open_elements}}) {
-             $token = {type => END_TAG_TOKEN, tag_name => 'p',
+             if ($_->[1] == P_EL) {
-                       line => $token->{line}, column => $token->{column}};
+               !!!cp ('t344');
-             next B;
+               !!!back-token; # <form>
-           } elsif ($_->[1] & SCOPING_EL) {
+               $token = {type => END_TAG_TOKEN, tag_name => 'p',
-             !!!cp ('t345');
+                         line => $token->{line}, column => $token->{column}};
-             last INSCOPE;
+               next B;
+             } elsif ($_->[1] & SCOPING_EL) {
+               !!!cp ('t345');
+               last INSCOPE;
+             }
+           } # INSCOPE
+         }
+         ## 3. Close the opening <hn> element, if any.
+         if ({h1 => 1, h2 => 1, h3 => 1,
+              h4 => 1, h5 => 1, h6 => 1}->{$token->{tag_name}}) {
+           if ($self->{open_elements}->[-1]->[1] == HEADING_EL) {
+             !!!parse-error (type => 'not closed',
+                             text => $self->{open_elements}->[-1]->[0]->manakai_local_name,
+                             token => $token);
+             pop @{$self->{open_elements}};
            }
-         } # INSCOPE
+         }
+         ## 4. Insertion.
          !!!insert-element-t ($token->{tag_name}, $token->{attributes}, $token);
          if ($token->{tag_name} eq 'pre' or $token->{tag_name} eq 'listing') {
            !!!nack ('t346.1');
-Line 6943 
 sub _tree_construction_main ($) {
+Line 4514 
 sub _tree_construction_main ($) {
            !!!next-token;
          }
          next B;
-       } elsif ({li => 1, dt => 1, dd => 1}->{$token->{tag_name}}) {
+       } elsif ($token->{tag_name} eq 'li') {
-         ## has a p element in scope
+         ## NOTE: As normal, but imply </li> when there's another <li> ...
+         ## NOTE: Special, Scope (<li><foo><li> == <li><foo><li/></foo></li>)::
+           ## Interpreted as <li><foo/></li><li/> (non-conforming):
+           ## blockquote (O9.27), center (O), dd (Fx3, O, S3.1.2, IE7),
+           ## dt (Fx, O, S, IE), dl (O), fieldset (O, S, IE), form (Fx, O, S),
+           ## hn (O), pre (O), applet (O, S), button (O, S), marquee (Fx, O, S),
+           ## object (Fx)
+           ## Generate non-tree (non-conforming):
+           ## basefont (IE7 (where basefont is non-void)), center (IE),
+           ## form (IE), hn (IE)
+         ## address, div, p (<li><foo><li> == <li><foo/></li><li/>)::
+           ## Interpreted as <li><foo><li/></foo></li> (non-conforming):
+           ## div (Fx, S)
+         my $non_optional;
+         my $i = -1;
+         ## 1.
+         for my $node (reverse @{$self->{open_elements}}) {
+           if ($node->[1] == LI_EL) {
+             ## 2. (a) As if </li>
+             {
+               ## If no </li> - not applied
+               #
+               ## Otherwise
+               ## 1. generate implied end tags, except for </li>
+               #
+               ## 2. If current node != "li", parse error
+               if ($non_optional) {
+                 !!!parse-error (type => 'not closed',
+                                 text => $non_optional->[0]->manakai_local_name,
+                                 token => $token);
+                 !!!cp ('t355');
+               } else {
+                 !!!cp ('t356');
+               }
+               ## 3. Pop
+               splice @{$self->{open_elements}}, $i;
+             }
+             last; ## 2. (b) goto 5.
+           } elsif (
+                    ## NOTE: not "formatting" and not "phrasing"
+                    ($node->[1] & SPECIAL_EL or
+                     $node->[1] & SCOPING_EL) and
+                    ## NOTE: "li", "dt", and "dd" are in |SPECIAL_EL|.
+                    (not $node->[1] & ADDRESS_DIV_P_EL)
+                   ) {
+             ## 3.
+             !!!cp ('t357');
+             last; ## goto 5.
+           } elsif ($node->[1] & END_TAG_OPTIONAL_EL) {
+             !!!cp ('t358');
+             #
+           } else {
+             !!!cp ('t359');
+             $non_optional ||= $node;
+             #
+           }
+           ## 4.
+           ## goto 2.
+           $i--;
+         }
+         ## 5. (a) has a |p| element in scope
          INSCOPE: for (reverse @{$self->{open_elements}}) {
-           if ($_->[1] & P_EL) {
+           if ($_->[1] == P_EL) {
              !!!cp ('t353');
+             ## NOTE: |<p><li>|, for example.
              !!!back-token; # <x>
              $token = {type => END_TAG_TOKEN, tag_name => 'p',
                        line => $token->{line}, column => $token->{column}};
-Line 6957 
 sub _tree_construction_main ($) {
+Line 4600 
 sub _tree_construction_main ($) {
              last INSCOPE;
            }
          } # INSCOPE
-         ## Step 1
+         ## 5. (b) insert
+         !!!insert-element-t ($token->{tag_name}, $token->{attributes}, $token);
+         !!!nack ('t359.1');
+         !!!next-token;
+         next B;
+       } elsif ($token->{tag_name} eq 'dt' or
+                $token->{tag_name} eq 'dd') {
+         ## NOTE: As normal, but imply </dt> or </dd> when ...
+         my $non_optional;
          my $i = -1;
-         my $node = $self->{open_elements}->[$i];
-         my $li_or_dtdd = {li => {li => 1},
+         ## 1.
-                           dt => {dt => 1, dd => 1},
+         for my $node (reverse @{$self->{open_elements}}) {
-                           dd => {dt => 1, dd => 1}}->{$token->{tag_name}};
+           if ($node->[1] == DTDD_EL) {
-         LI: {
+             ## 2. (a) As if </li>
-           ## Step 2
+             {
-           if ($li_or_dtdd->{$node->[0]->manakai_local_name}) {
+               ## If no </li> - not applied
-             if ($i != -1) {
+               #
-               !!!cp ('t355');
-               !!!parse-error (type => 'not closed',
+               ## Otherwise
-                               text => $self->{open_elements}->[-1]->[0]
-                                   ->manakai_local_name,
+               ## 1. generate implied end tags, except for </dt> or </dd>
-                               token => $token);
+               #
-             } else {
-               !!!cp ('t356');
+               ## 2. If current node != "dt"|"dd", parse error
+               if ($non_optional) {
+                 !!!parse-error (type => 'not closed',
+                                 text => $non_optional->[0]->manakai_local_name,
+                                 token => $token);
+                 !!!cp ('t355.1');
+               } else {
+                 !!!cp ('t356.1');
+               }
+               ## 3. Pop
+               splice @{$self->{open_elements}}, $i;
              }
-             splice @{$self->{open_elements}}, $i;
-             last LI;
+             last; ## 2. (b) goto 5.
+           } elsif (
+                    ## NOTE: not "formatting" and not "phrasing"
+                    ($node->[1] & SPECIAL_EL or
+                     $node->[1] & SCOPING_EL) and
+                    ## NOTE: "li", "dt", and "dd" are in |SPECIAL_EL|.
+                    (not $node->[1] & ADDRESS_DIV_P_EL)
+                   ) {
+             ## 3.
+             !!!cp ('t357.1');
+             last; ## goto 5.
+           } elsif ($node->[1] & END_TAG_OPTIONAL_EL) {
+             !!!cp ('t358.1');
+             #
            } else {
-             !!!cp ('t357');
+             !!!cp ('t359.1');
-           }
+             $non_optional ||= $node;
+             #
-           ## Step 3
-           if (not ($node->[1] & FORMATTING_EL) and
-               #not $phrasing_category->{$node->[1]} and
-               ($node->[1] & SPECIAL_EL or
-                $node->[1] & SCOPING_EL) and
-               not ($node->[1] & ADDRESS_EL) and
-               not ($node->[1] & DIV_EL)) {
-             !!!cp ('t358');
-             last LI;
            }
+           ## 4.
-           !!!cp ('t359');
+           ## goto 2.
-           ## Step 4
            $i--;
-           $node = $self->{open_elements}->[$i];
+         }
-           redo LI;
-         } # LI
+         ## 5. (a) has a |p| element in scope
+         INSCOPE: for (reverse @{$self->{open_elements}}) {
+           if ($_->[1] == P_EL) {
+             !!!cp ('t353.1');
+             !!!back-token; # <x>
+             $token = {type => END_TAG_TOKEN, tag_name => 'p',
+                       line => $token->{line}, column => $token->{column}};
+             next B;
+           } elsif ($_->[1] & SCOPING_EL) {
+             !!!cp ('t354.1');
+             last INSCOPE;
+           }
+         } # INSCOPE
+         ## 5. (b) insert
          !!!insert-element-t ($token->{tag_name}, $token->{attributes}, $token);
-         !!!nack ('t359.1');
+         !!!nack ('t359.2');
          !!!next-token;
          next B;
        } elsif ($token->{tag_name} eq 'plaintext') {
+         ## NOTE: As normal, but effectively ends parsing
          ## has a p element in scope
          INSCOPE: for (reverse @{$self->{open_elements}}) {
-           if ($_->[1] & P_EL) {
+           if ($_->[1] == P_EL) {
              !!!cp ('t367');
              !!!back-token; # <plaintext>
              $token = {type => END_TAG_TOKEN, tag_name => 'p',
-Line 7029 
 sub _tree_construction_main ($) {
+Line 4711 
 sub _tree_construction_main ($) {
        } elsif ($token->{tag_name} eq 'a') {
          AFE: for my $i (reverse 0..$#$active_formatting_elements) {
            my $node = $active_formatting_elements->[$i];
-           if ($node->[1] & A_EL) {
+           if ($node->[1] == A_EL) {
              !!!cp ('t371');
              !!!parse-error (type => 'in a:a', token => $token);
-Line 7073 
 sub _tree_construction_main ($) {
+Line 4755 
 sub _tree_construction_main ($) {
          ## has a |nobr| element in scope
          INSCOPE: for (reverse 0..$#{$self->{open_elements}}) {
            my $node = $self->{open_elements}->[$_];
-           if ($node->[1] & NOBR_EL) {
+           if ($node->[1] == NOBR_EL) {
              !!!cp ('t376');
              !!!parse-error (type => 'in nobr:nobr', token => $token);
              !!!back-token; # <nobr>
-Line 7096 
 sub _tree_construction_main ($) {
+Line 4778 
 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] & BUTTON_EL) {
+           if ($node->[1] == BUTTON_EL) {
              !!!cp ('t378');
              !!!parse-error (type => 'in button:button', token => $token);
              !!!back-token; # <button>
-Line 7161 
 sub _tree_construction_main ($) {
+Line 4843 
 sub _tree_construction_main ($) {
                           line => $token->{line}, column => $token->{column}},
                          {type => START_TAG_TOKEN, tag_name => 'hr',
                           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}},
                         );
-Line 7185 
 sub _tree_construction_main ($) {
+Line 4865 
 sub _tree_construction_main ($) {
                          #{type => CHARACTER_TOKEN, data => ''}, # SHOULD
                          {type => END_TAG_TOKEN, tag_name => 'label',
                           line => $token->{line}, column => $token->{column}},
-                         {type => END_TAG_TOKEN, tag_name => 'p',
-                          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 7196 
 sub _tree_construction_main ($) {
+Line 4874 
 sub _tree_construction_main ($) {
            next B;
          }
        } elsif ($token->{tag_name} eq 'textarea') {
-         my $tag_name = $token->{tag_name};
+         ## 1. Insert
-         my $el;
+         !!!insert-element-t ($token->{tag_name}, $token->{attributes}, $token);
-         !!!create-element ($el, $HTML_NS, $token->{tag_name}, $token->{attributes}, $token);
+         ## Step 2 # XXX
          ## TODO: $self->{form_element} if defined
+         ## 2. Drop U+000A LINE FEED
+         $self->{ignore_newline} = 1;
+         ## 3. RCDATA
          $self->{content_model} = RCDATA_CONTENT_MODEL;
          delete $self->{escape}; # MUST
-         $insert->($el);
+         ## 4., 6. Insertion mode
+         $self->{insertion_mode} |= IN_CDATA_RCDATA_IM;
-         my $text = '';
+         ## XXX: 5. frameset-ok flag
          !!!nack ('t392.1');
          !!!next-token;
-         if ($token->{type} == CHARACTER_TOKEN) {
+         next B;
-           $token->{data} =~ s/^\x0A//;
+       } elsif ($token->{tag_name} eq 'optgroup' or
-           unless (length $token->{data}) {
+                $token->{tag_name} eq 'option') {
-             !!!cp ('t392');
+         ## has an |option| element in scope
-             !!!next-token;
+         INSCOPE: for (reverse 0..$#{$self->{open_elements}}) {
-           } else {
+           my $node = $self->{open_elements}->[$_];
-             !!!cp ('t393');
+           if ($node->[1] == OPTION_EL) {
+             !!!cp ('t397.1');
+             ## NOTE: As if </option>
+             !!!back-token; # <option> or <optgroup>
+             $token = {type => END_TAG_TOKEN, tag_name => 'option',
+                       line => $token->{line}, column => $token->{column}};
+             next B;
+           } elsif ($node->[1] & SCOPING_EL) {
+             !!!cp ('t397.2');
+             last INSCOPE;
            }
-         } else {
+         } # INSCOPE
-           !!!cp ('t394');
-         }
+         $reconstruct_active_formatting_elements->($insert_to_current);
-         while ($token->{type} == CHARACTER_TOKEN) {
-           !!!cp ('t395');
+         !!!insert-element-t ($token->{tag_name}, $token->{attributes}, $token);
-           $text .= $token->{data};
-           !!!next-token;
+         !!!nack ('t397.3');
-         }
-         if (length $text) {
-           !!!cp ('t396');
-           $el->manakai_append_text ($text);
-         }
-         $self->{content_model} = PCDATA_CONTENT_MODEL;
-         if ($token->{type} == END_TAG_TOKEN and
-             $token->{tag_name} eq $tag_name) {
-           !!!cp ('t397');
-           ## Ignore the token
-         } else {
-           !!!cp ('t398');
-           !!!parse-error (type => 'in RCDATA:#eof', token => $token);
-         }
          !!!next-token;
-         next B;
+         redo B;
        } elsif ($token->{tag_name} eq 'rt' or
                 $token->{tag_name} eq 'rp') {
          ## has a |ruby| element in scope
          INSCOPE: for (reverse 0..$#{$self->{open_elements}}) {
            my $node = $self->{open_elements}->[$_];
-           if ($node->[1] & RUBY_EL) {
+           if ($node->[1] == RUBY_EL) {
              !!!cp ('t398.1');
              ## generate implied end tags
              while ($self->{open_elements}->[-1]->[1] & END_TAG_OPTIONAL_EL) {
                !!!cp ('t398.2');
                pop @{$self->{open_elements}};
              }
-             unless ($self->{open_elements}->[-1]->[1] & RUBY_EL) {
+             unless ($self->{open_elements}->[-1]->[1] == RUBY_EL) {
                !!!cp ('t398.3');
                !!!parse-error (type => 'not closed',
                                text => $self->{open_elements}->[-1]->[0]
                                    ->manakai_local_name,
                                token => $token);
                pop @{$self->{open_elements}}
-                   while not $self->{open_elements}->[-1]->[1] & RUBY_EL;
+                   while not $self->{open_elements}->[-1]->[1] == RUBY_EL;
              }
              last INSCOPE;
            } elsif ($node->[1] & SCOPING_EL) {
-Line 7269 
 sub _tree_construction_main ($) {
+Line 4947 
 sub _tree_construction_main ($) {
              last INSCOPE;
            }
          } # INSCOPE
+         ## TODO: <non-ruby><rt> is not allowed.
          !!!insert-element-t ($token->{tag_name}, $token->{attributes}, $token);
-Line 7289 
 sub _tree_construction_main ($) {
+Line 4969 
 sub _tree_construction_main ($) {
          if ($self->{self_closing}) {
            pop @{$self->{open_elements}};
-           !!!ack ('t398.1');
+           !!!ack ('t398.6');
          } else {
-           !!!cp ('t398.2');
+           !!!cp ('t398.7');
            $self->{insertion_mode} |= IN_FOREIGN_CONTENT_IM;
            ## NOTE: |<body><math><mi><svg>| -> "in foreign content" insertion
            ## mode, "in body" (not "in foreign content") secondary insertion
-Line 7302 
 sub _tree_construction_main ($) {
+Line 4982 
 sub _tree_construction_main ($) {
          next B;
        } elsif ({
                  caption => 1, col => 1, colgroup => 1, frame => 1,
-                 frameset => 1, head => 1, option => 1, optgroup => 1,
+                 frameset => 1, head => 1,
                  tbody => 1, td => 1, tfoot => 1, th => 1,
                  thead => 1, tr => 1,
                 }->{$token->{tag_name}}) {
-Line 7313 
 sub _tree_construction_main ($) {
+Line 4993 
 sub _tree_construction_main ($) {
          !!!nack ('t401.1'); ## NOTE: |<col/>| or |<frame/>| here is an error.
          !!!next-token;
          next B;
+       } elsif ($token->{tag_name} eq 'param' or
-         ## ISSUE: An issue on HTML5 new elements in the spec.
+                $token->{tag_name} eq 'source') {
+         !!!insert-element-t ($token->{tag_name}, $token->{attributes}, $token);
+         pop @{$self->{open_elements}};
+         !!!ack ('t398.5');
+         !!!next-token;
+         redo B;
        } else {
          if ($token->{tag_name} eq 'image') {
            !!!cp ('t384');
-Line 7337 
 sub _tree_construction_main ($) {
+Line 5023 
 sub _tree_construction_main ($) {
            !!!nack ('t380.1');
          } elsif ({
                    b => 1, big => 1, em => 1, font => 1, i => 1,
-                   s => 1, small => 1, strile => 1,
+                   s => 1, small => 1, strike => 1,
                    strong => 1, tt => 1, u => 1,
                   }->{$token->{tag_name}}) {
            !!!cp ('t375');
-Line 7350 
 sub _tree_construction_main ($) {
+Line 5036 
 sub _tree_construction_main ($) {
            !!!ack ('t388.2');
          } elsif ({
                    area => 1, basefont => 1, bgsound => 1, br => 1,
-                   embed => 1, img => 1, param => 1, spacer => 1, wbr => 1,
+                   embed => 1, img => 1, spacer => 1, wbr => 1,
-                   #image => 1,
                   }->{$token->{tag_name}}) {
            !!!cp ('t388.1');
            pop @{$self->{open_elements}};
-Line 7361 
 sub _tree_construction_main ($) {
+Line 5046 
 sub _tree_construction_main ($) {
            if ($self->{insertion_mode} & TABLE_IMS or
                $self->{insertion_mode} & BODY_TABLE_IMS or
-               $self->{insertion_mode} == IN_COLUMN_GROUP_IM) {
+               ($self->{insertion_mode} & IM_MASK) == IN_COLUMN_GROUP_IM) {
              !!!cp ('t400.1');
              $self->{insertion_mode} = IN_SELECT_IN_TABLE_IM;
            } else {
-Line 7378 
 sub _tree_construction_main ($) {
+Line 5063 
 sub _tree_construction_main ($) {
        }
      } elsif ($token->{type} == END_TAG_TOKEN) {
        if ($token->{tag_name} eq 'body') {
-         ## has a |body| element in scope
+         ## 1. If not "have an element in scope":
+         ## "has a |body| element in scope"
          my $i;
          INSCOPE: {
            for (reverse @{$self->{open_elements}}) {
-             if ($_->[1] & BODY_EL) {
+             if ($_->[1] == BODY_EL) {
                !!!cp ('t405');
                $i = $_;
                last INSCOPE;
-Line 7392 
 sub _tree_construction_main ($) {
+Line 5079 
 sub _tree_construction_main ($) {
              }
            }
-           !!!parse-error (type => 'start tag not allowed',
+           ## NOTE: |<marquee></body>|, |<svg><foreignobject></body>|
+           !!!parse-error (type => 'unmatched end tag',
                            text => $token->{tag_name}, token => $token);
            ## NOTE: Ignore the token.
            !!!next-token;
            next B;
          } # INSCOPE
+         ## 2. If unclosed elements:
          for (@{$self->{open_elements}}) {
-           unless ($_->[1] & ALL_END_TAG_OPTIONAL_EL) {
+           unless ($_->[1] & ALL_END_TAG_OPTIONAL_EL ||
+                   $_->[1] == OPTGROUP_EL ||
+                   $_->[1] == OPTION_EL ||
+                   $_->[1] == RUBY_COMPONENT_EL) {
              !!!cp ('t403');
              !!!parse-error (type => 'not closed',
                              text => $_->[0]->manakai_local_name,
-Line 7411 
 sub _tree_construction_main ($) {
+Line 5104 
 sub _tree_construction_main ($) {
            }
          }
+         ## 3. Switch the insertion mode.
          $self->{insertion_mode} = AFTER_BODY_IM;
          !!!next-token;
          next B;
-Line 7418 
 sub _tree_construction_main ($) {
+Line 5112 
 sub _tree_construction_main ($) {
          ## 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) {
+             $self->{open_elements}->[1]->[1] == BODY_EL) {
-           ## ISSUE: There is an issue in the spec.
+           unless ($self->{open_elements}->[-1]->[1] == BODY_EL) {
-           unless ($self->{open_elements}->[-1]->[1] & BODY_EL) {
              !!!cp ('t406');
              !!!parse-error (type => 'not closed',
                              text => $self->{open_elements}->[1]->[0]
-Line 7441 
 sub _tree_construction_main ($) {
+Line 5134 
 sub _tree_construction_main ($) {
            next B;
          }
        } elsif ({
-                 address => 1, blockquote => 1, center => 1, dir => 1,
+                 ## NOTE: End tags for non-phrasing flow content elements
-                 div => 1, dl => 1, fieldset => 1, listing => 1,
-                 menu => 1, ol => 1, pre => 1, ul => 1,
+                 ## NOTE: The normal ones
+                 address => 1, article => 1, aside => 1, blockquote => 1,
+                 center => 1, datagrid => 1, details => 1, dialog => 1,
+                 dir => 1, div => 1, dl => 1, fieldset => 1, figure => 1,
+                 footer => 1, header => 1, listing => 1, menu => 1, nav => 1,
+                 ol => 1, pre => 1, section => 1, ul => 1,
+                 ## NOTE: As normal, but ... optional tags
                  dd => 1, dt => 1, li => 1,
                  applet => 1, button => 1, marquee => 1, object => 1,
                 }->{$token->{tag_name}}) {
+         ## NOTE: Code for <li> start tags includes "as if </li>" code.
+         ## Code for <dt> or <dd> start tags includes "as if </dt> or
+         ## </dd>" code.
          ## has an element in scope
          my $i;
          INSCOPE: for (reverse 0..$#{$self->{open_elements}}) {
-Line 7473 
 sub _tree_construction_main ($) {
+Line 5178 
 sub _tree_construction_main ($) {
                    dd => ($token->{tag_name} ne 'dd'),
                    dt => ($token->{tag_name} ne 'dt'),
                    li => ($token->{tag_name} ne 'li'),
+                   option => 1,
+                   optgroup => 1,
                    p => 1,
                    rt => 1,
                    rp => 1,
-Line 7505 
 sub _tree_construction_main ($) {
+Line 5212 
 sub _tree_construction_main ($) {
          !!!next-token;
          next B;
        } elsif ($token->{tag_name} eq 'form') {
+         ## NOTE: As normal, but interacts with the form element pointer
          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] & FORM_EL) {
+           if ($node->[1] == FORM_EL) {
              !!!cp ('t418');
              $i = $_;
              last INSCOPE;
-Line 7552 
 sub _tree_construction_main ($) {
+Line 5261 
 sub _tree_construction_main ($) {
          !!!next-token;
          next B;
        } elsif ({
+                 ## NOTE: As normal, except acts as a closer for any ...
                  h1 => 1, h2 => 1, h3 => 1, h4 => 1, h5 => 1, h6 => 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] & HEADING_EL) {
+           if ($node->[1] == HEADING_EL) {
              !!!cp ('t423');
              $i = $_;
              last INSCOPE;
-Line 7597 
 sub _tree_construction_main ($) {
+Line 5307 
 sub _tree_construction_main ($) {
          !!!next-token;
          next B;
        } elsif ($token->{tag_name} eq 'p') {
+         ## NOTE: As normal, except </p> implies <p> and ...
          ## has an element in scope
+         my $non_optional;
          my $i;
          INSCOPE: for (reverse 0..$#{$self->{open_elements}}) {
            my $node = $self->{open_elements}->[$_];
-           if ($node->[1] & P_EL) {
+           if ($node->[1] == P_EL) {
              !!!cp ('t410.1');
              $i = $_;
              last INSCOPE;
            } elsif ($node->[1] & SCOPING_EL) {
              !!!cp ('t411.1');
              last INSCOPE;
+           } elsif ($node->[1] & END_TAG_OPTIONAL_EL) {
+             ## NOTE: |END_TAG_OPTIONAL_EL| includes "p"
+             !!!cp ('t411.2');
+             #
+           } else {
+             !!!cp ('t411.3');
+             $non_optional ||= $node;
+             #
            }
          } # INSCOPE
          if (defined $i) {
-           if ($self->{open_elements}->[-1]->[0]->manakai_local_name
+           ## 1. Generate implied end tags
-                   ne $token->{tag_name}) {
+           #
+           ## 2. If current node != "p", parse error
+           if ($non_optional) {
              !!!cp ('t412.1');
              !!!parse-error (type => 'not closed',
-                             text => $self->{open_elements}->[-1]->[0]
+                             text => $non_optional->[0]->manakai_local_name,
-                                 ->manakai_local_name,
                              token => $token);
            } else {
              !!!cp ('t414.1');
            }
+           ## 3. Pop
            splice @{$self->{open_elements}}, $i;
          } else {
            !!!cp ('t413.1');
-Line 7642 
 sub _tree_construction_main ($) {
+Line 5366 
 sub _tree_construction_main ($) {
        } elsif ({
                  a => 1,
                  b => 1, big => 1, em => 1, font => 1, i => 1,
-                 nobr => 1, s => 1, small => 1, strile => 1,
+                 nobr => 1, s => 1, small => 1, strike => 1,
                  strong => 1, tt => 1, u => 1,
                 }->{$token->{tag_name}}) {
          !!!cp ('t427');
-Line 7663 
 sub _tree_construction_main ($) {
+Line 5387 
 sub _tree_construction_main ($) {
          ## Ignore the token.
          !!!next-token;
          next 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,
-                 area => 1, basefont => 1, bgsound => 1,
-                 embed => 1, hr => 1, iframe => 1, image => 1,
-                 img => 1, input => 1, isindex => 1, noembed => 1,
-                 noframes => 1, param => 1, select => 1, spacer => 1,
-                 table => 1, textarea => 1, wbr => 1,
-                 noscript => 0, ## TODO: if scripting is enabled
-                }->{$token->{tag_name}}) {
-         !!!cp ('t429');
-         !!!parse-error (type => 'unmatched end tag',
-                         text => $token->{tag_name}, token => $token);
-         ## Ignore the token
-         !!!next-token;
-         next B;
-         ## ISSUE: Issue on HTML5 new elements in spec
        } else {
+         if ($token->{tag_name} eq 'sarcasm') {
+           sleep 0.001; # take a deep breath
+         }
          ## Step 1
          my $node_i = -1;
          my $node = $self->{open_elements}->[$node_i];
          ## Step 2
          S2: {
-           if ($node->[0]->manakai_local_name eq $token->{tag_name}) {
+           my $node_tag_name = $node->[0]->manakai_local_name;
+           $node_tag_name =~ tr/A-Z/a-z/; # for SVG camelCase tag names
+           if ($node_tag_name eq $token->{tag_name}) {
              ## Step 1
              ## generate implied end tags
              while ($self->{open_elements}->[-1]->[1] & END_TAG_OPTIONAL_EL) {
-Line 7704 
 sub _tree_construction_main ($) {
+Line 5413 
 sub _tree_construction_main ($) {
              }
              ## Step 2
-             if ($self->{open_elements}->[-1]->[0]->manakai_local_name
+             my $current_tag_name
-                     ne $token->{tag_name}) {
+                 = $self->{open_elements}->[-1]->[0]->manakai_local_name;
+             $current_tag_name =~ tr/A-Z/a-z/;
+             if ($current_tag_name ne $token->{tag_name}) {
                !!!cp ('t431');
                ## NOTE: <x><y></x>
                !!!parse-error (type => 'not closed',
-Line 7733 
 sub _tree_construction_main ($) {
+Line 5444 
 sub _tree_construction_main ($) {
                ## Ignore the token
                !!!next-token;
                last S2;
-             }
+               ## NOTE: |<span><dd></span>a|: In Safari 3.1.2 and Opera
+               ## 9.27, "a" is a child of <dd> (conforming).  In
+               ## Firefox 3.0.2, "a" is a child of <body>.  In WinIE 7,
+               ## "a" is a child of both <body> and <dd>.
+             }
              !!!cp ('t434');
            }
-Line 7775 
 sub _tree_construction_main ($) {
+Line 5491 
 sub _tree_construction_main ($) {
    ## TODO: script stuffs
  } # _tree_construct_main
+ ## XXX: How this method is organized is somewhat out of date, although
+ ## it still does what the current spec documents.
  sub set_inner_html ($$$$;$) {
    my $class = shift;
-   my $node = shift;
+   my $node = shift; # /context/
    #my $s = \$_[0];
    my $onerror = $_[1];
    my $get_wrapper = $_[2] || sub ($) { return $_[0] };
-Line 7785 
 sub set_inner_html ($$$$;$) {
+Line 5503 
 sub set_inner_html ($$$$;$) {
    ## ISSUE: Should {confident} be true?
    my $nt = $node->node_type;
-   if ($nt == 9) {
+   if ($nt == 9) { # Document (invoke the algorithm with no /context/ element)
      # MUST
      ## Step 1 # MUST
-Line 7800 
 sub set_inner_html ($$$$;$) {
+Line 5518 
 sub set_inner_html ($$$$;$) {
      ## Step 3, 4, 5 # MUST
      $class->parse_char_string ($_[0] => $node, $onerror, $get_wrapper);
-   } elsif ($nt == 1) {
+   } elsif ($nt == 1) { # Element (invoke the algorithm with /context/ element)
      ## TODO: If non-html element
      ## NOTE: Most of this code is copied from |parse_string|
  ## TODO: Support for $get_wrapper
-     ## Step 1 # MUST
+     ## F1. Create an HTML document.
      my $this_doc = $node->owner_document;
      my $doc = $this_doc->implementation->create_document;
      $doc->manakai_is_html (1);
+     ## F2. Propagate quirkness flag
+     my $node_doc = $node->owner_document;
+     $doc->manakai_compat_mode ($node_doc->manakai_compat_mode);
+     ## F3. Create an HTML parser
      my $p = $class->new;
      $p->{document} = $doc;
-Line 7821 
 sub set_inner_html ($$$$;$) {
+Line 5545 
 sub set_inner_html ($$$$;$) {
      require Whatpm::Charset::DecodeHandle;
      my $input = Whatpm::Charset::DecodeHandle::CharString->new (\($_[0]));
      $input = $get_wrapper->($input);
-     $p->{set_next_char} = sub {
+     $p->{set_nc} = sub {
        my $self = shift;
        my $char = '';
-       if (defined $self->{next_next_char}) {
+       if (defined $self->{next_nc}) {
-         $char = $self->{next_next_char};
+         $char = $self->{next_nc};
-         delete $self->{next_next_char};
+         delete $self->{next_nc};
-         $self->{next_char} = ord $char;
+         $self->{nc} = ord $char;
        } else {
          $self->{char_buffer} = '';
          $self->{char_buffer_pos} = 0;
          my $count = $input->manakai_read_until
-             ($self->{char_buffer},
+             ($self->{char_buffer}, qr/[^\x00\x0A\x0D]/,
-              qr/(?![\x{FDD0}-\x{FDDF}\x{FFFE}\x{FFFF}\x{1FFFE}\x{1FFFF}\x{2FFFE}\x{2FFFF}\x{3FFFE}\x{3FFFF}\x{4FFFE}\x{4FFFF}\x{5FFFE}\x{5FFFF}\x{6FFFE}\x{6FFFF}\x{7FFFE}\x{7FFFF}\x{8FFFE}\x{8FFFF}\x{9FFFE}\x{9FFFF}\x{AFFFE}\x{AFFFF}\x{BFFFE}\x{BFFFF}\x{CFFFE}\x{CFFFF}\x{DFFFE}\x{DFFFF}\x{EFFFE}\x{EFFFF}\x{FFFFE}\x{FFFFF}])[\x20-\x7E\xA0-\x{D7FF}\x{E000}-\x{10FFFD}]/,
+              $self->{char_buffer_pos});
-                $self->{char_buffer_pos});
          if ($count) {
            $self->{line_prev} = $self->{line};
            $self->{column_prev} = $self->{column};
            $self->{column}++;
-           $self->{next_char}
+           $self->{nc}
                = ord substr ($self->{char_buffer},
                              $self->{char_buffer_pos}++, 1);
            return;
          }
          if ($input->read ($char, 1)) {
-           $self->{next_char} = ord $char;
+           $self->{nc} = ord $char;
          } else {
-           $self->{next_char} = -1;
+           $self->{nc} = -1;
            return;
          }
        }
-Line 7858 
 sub set_inner_html ($$$$;$) {
+Line 5581 
 sub set_inner_html ($$$$;$) {
        ($p->{line_prev}, $p->{column_prev}) = ($p->{line}, $p->{column});
        $p->{column}++;
-       if ($self->{next_char} == 0x000A) { # LF
+       if ($self->{nc} == 0x000A) { # LF
          $p->{line}++;
          $p->{column} = 0;
          !!!cp ('i1');
-       } elsif ($self->{next_char} == 0x000D) { # CR
+       } elsif ($self->{nc} == 0x000D) { # CR
  ## TODO: support for abort/streaming
          my $next = '';
          if ($input->read ($next, 1) and $next ne "\x0A") {
-           $self->{next_next_char} = $next;
+           $self->{next_nc} = $next;
          }
-         $self->{next_char} = 0x000A; # LF # MUST
+         $self->{nc} = 0x000A; # LF # MUST
          $p->{line}++;
          $p->{column} = 0;
          !!!cp ('i2');
-       } elsif ($self->{next_char} > 0x10FFFF) {
+       } elsif ($self->{nc} == 0x0000) { # NULL
-         $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
+         $self->{nc} = 0xFFFD; # REPLACEMENT CHARACTER # MUST
-       } elsif ($self->{next_char} <= 0x0008 or
-                (0x000E <= $self->{next_char} and
-                 $self->{next_char} <= 0x001F) or
-                (0x007F <= $self->{next_char} and
-                 $self->{next_char} <= 0x009F) or
-                (0xD800 <= $self->{next_char} and
-                 $self->{next_char} <= 0xDFFF) or
-                (0xFDD0 <= $self->{next_char} and
-                 $self->{next_char} <= 0xFDDF) or
-                {
-xFFFE => 1, 0xFFFF => 1, 0x1FFFE => 1, 0x1FFFF => 1,
-x2FFFE => 1, 0x2FFFF => 1, 0x3FFFE => 1, 0x3FFFF => 1,
-x4FFFE => 1, 0x4FFFF => 1, 0x5FFFE => 1, 0x5FFFF => 1,
-x6FFFE => 1, 0x6FFFF => 1, 0x7FFFE => 1, 0x7FFFF => 1,
-x8FFFE => 1, 0x8FFFF => 1, 0x9FFFE => 1, 0x9FFFF => 1,
-xAFFFE => 1, 0xAFFFF => 1, 0xBFFFE => 1, 0xBFFFF => 1,
-xCFFFE => 1, 0xCFFFF => 1, 0xDFFFE => 1, 0xDFFFF => 1,
-xEFFFE => 1, 0xEFFFF => 1, 0xFFFFE => 1, 0xFFFFF => 1,
-x10FFFE => 1, 0x10FFFF => 1,
-                }->{$self->{next_char}}) {
-         !!!cp ('i4.1');
-         if ($self->{next_char} < 0x10000) {
-           !!!parse-error (type => 'control char',
-                           text => (sprintf 'U+%04X', $self->{next_char}));
-         } else {
-           !!!parse-error (type => 'control char',
-                           text => (sprintf 'U-%08X', $self->{next_char}));
-         }
        }
      };
      $p->{read_until} = sub {
        #my ($scalar, $specials_range, $offset) = @_;
-       return 0 if defined $p->{next_next_char};
+       return 0 if defined $p->{next_nc};
-       my $pattern = qr/(?![$_[1]\x{FDD0}-\x{FDDF}\x{FFFE}\x{FFFF}\x{1FFFE}\x{1FFFF}\x{2FFFE}\x{2FFFF}\x{3FFFE}\x{3FFFF}\x{4FFFE}\x{4FFFF}\x{5FFFE}\x{5FFFF}\x{6FFFE}\x{6FFFF}\x{7FFFE}\x{7FFFF}\x{8FFFE}\x{8FFFF}\x{9FFFE}\x{9FFFF}\x{AFFFE}\x{AFFFF}\x{BFFFE}\x{BFFFF}\x{CFFFE}\x{CFFFF}\x{DFFFE}\x{DFFFF}\x{EFFFE}\x{EFFFF}\x{FFFFE}\x{FFFFF}])[\x20-\x7E\xA0-\x{D7FF}\x{E000}-\x{10FFFD}]/;
+       my $pattern = qr/[^$_[1]\x00\x0A\x0D]/;
        my $offset = $_[2] || 0;
        if ($p->{char_buffer_pos} < length $p->{char_buffer}) {
-Line 7928 
 sub set_inner_html ($$$$;$) {
+Line 5620 
 sub set_inner_html ($$$$;$) {
              $p->{char_buffer_pos} += $count;
              $p->{line_prev} = $p->{line};
              $p->{column_prev} = $p->{column} - 1;
-             $p->{prev_char} = [-1, -1, -1];
+             $p->{nc} = -1;
-             $p->{next_char} = -1;
            }
            return $count;
          } else {
-Line 7940 
 sub set_inner_html ($$$$;$) {
+Line 5631 
 sub set_inner_html ($$$$;$) {
          if ($count) {
            $p->{column} += $count;
            $p->{column_prev} += $count;
-           $p->{prev_char} = [-1, -1, -1];
+           $p->{nc} = -1;
-           $p->{next_char} = -1;
          }
          return $count;
        }
-Line 7972 
 sub set_inner_html ($$$$;$) {
+Line 5662 
 sub set_inner_html ($$$$;$) {
      $p->_initialize_tokenizer;
      $p->_initialize_tree_constructor;
-     ## Step 2
+     ## F4. If /context/ is not undef...
+     ## F4.1. content model flag
      my $node_ln = $node->manakai_local_name;
      $p->{content_model} = {
        title => RCDATA_CONTENT_MODEL,
-Line 7988 
 sub set_inner_html ($$$$;$) {
+Line 5680 
 sub set_inner_html ($$$$;$) {
      }->{$node_ln};
      $p->{content_model} = PCDATA_CONTENT_MODEL
          unless defined $p->{content_model};
-         ## ISSUE: What is "the name of the element"? local name?
      $p->{inner_html_node} = [$node, $el_category->{$node_ln}];
        ## TODO: Foreign element OK?
-     ## Step 3
+     ## F4.2. Root |html| element
      my $root = $doc->create_element_ns
        ('http://www.w3.org/1999/xhtml', [undef, 'html']);
-     ## Step 4 # MUST
+     ## F4.3.
      $doc->append_child ($root);
-     ## Step 5 # MUST
+     ## F4.4.
      push @{$p->{open_elements}}, [$root, $el_category->{html}];
      undef $p->{head_element};
+     undef $p->{head_element_inserted};
-     ## Step 6 # MUST
+     ## F4.5.
      $p->_reset_insertion_mode;
-     ## Step 7 # MUST
+     ## F4.6.
      my $anode = $node;
      AN: while (defined $anode) {
        if ($anode->node_type == 1) {
-Line 8023 
 sub set_inner_html ($$$$;$) {
+Line 5715 
 sub set_inner_html ($$$$;$) {
        }
        $anode = $anode->parent_node;
      } # AN
-     ## Step 9 # MUST
+     ## F.6. Start the parser.
      {
        my $self = $p;
        !!!next-token;
      }
      $p->_tree_construction_main;
-     ## Step 10 # MUST
+     ## F.7.
      my @cn = @{$node->child_nodes};
      for (@cn) {
        $node->remove_child ($_);

 Legend:



Removed from v.1.180
 


changed lines


 
Added in v.1.225
 Legend:



Removed from v.1.180
 


changed lines


 
Added in v.1.225
-Removed from v.1.180
+Added in v.1.225

admin@suikawiki.org	ViewVC Help
Powered by ViewVC 1.1.24