/[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.127 by wakaba,
Sat Apr 12 15:25:52 2008 UTC
+revision 1.194 by wakaba,
Sat Oct  4 05:53:45 2008 UTC
 Line 3 
 use strict;
  our $VERSION=do{my @r=(q$Revision$=~/\d+/g);sprintf "%d."."%02d" x $#r,@r};
  use Error qw(:try);
+ ## 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 ('');
  ## alert (doc.compatMode);
- ## TODO: Control charcters and noncharacters are not allowed (HTML5 revision 1263)
+ require IO::Handle;
- ## TODO: 1252 parse error (revision 1264)
- ## TODO: 8859-11 = 874 (revision 1271)
  my $HTML_NS = q<http://www.w3.org/1999/xhtml>;
  my $MML_NS = q<http://www.w3.org/1998/Math/MathML>;
-Line 47 
 sub MISC_SPECIAL_EL () { 0b1000000000000
+Line 56 
 sub MISC_SPECIAL_EL () { 0b1000000000000
  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 |
-Line 54 
 sub TABLE_ROWS_EL () {
+Line 65 
 sub TABLE_ROWS_EL () {
    TABLE_ROW_GROUP_EL
  }
+ ## NOTE: Used in "generate implied end tags" algorithm.
+ ## NOTE: There is a code where a modified version of
+ ## END_TAG_OPTIONAL_EL is used in "generate implied end tags"
+ ## implementation (search for the algorithm name).
  sub END_TAG_OPTIONAL_EL () {
    DD_EL |
    DT_EL |
    LI_EL |
-   P_EL
+   OPTION_EL |
+   OPTGROUP_EL |
+   P_EL |
+   RUBY_COMPONENT_EL
  }
+ ## NOTE: Used in </body> and EOF algorithms.
  sub ALL_END_TAG_OPTIONAL_EL () {
-   END_TAG_OPTIONAL_EL |
+   DD_EL |
+   DT_EL |
+   LI_EL |
+   P_EL |
    BODY_EL |
    HTML_EL |
    TABLE_CELL_EL |
-Line 98 
 sub SPECIAL_EL () {
+Line 121 
 sub SPECIAL_EL () {
    ADDRESS_EL |
    BODY_EL |
    DIV_EL |
-   END_TAG_OPTIONAL_EL |
+   DD_EL |
+   DT_EL |
+   LI_EL |
+   P_EL |
    FORM_EL |
    FRAMESET_EL |
    HEADING_EL |
-Line 115 
 my $el_category = {
+Line 143 
 my $el_category = {
    address => ADDRESS_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 128 
 my $el_category = {
+Line 158 
 my $el_category = {
    center => MISC_SPECIAL_EL,
    col => MISC_SPECIAL_EL,
    colgroup => MISC_SPECIAL_EL,
+   command => MISC_SPECIAL_EL,
+   datagrid => MISC_SPECIAL_EL,
    dd => DD_EL,
+   details => MISC_SPECIAL_EL,
+   dialog => MISC_SPECIAL_EL,
    dir => MISC_SPECIAL_EL,
    div => DIV_EL,
    dl => MISC_SPECIAL_EL,
    dt => DT_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 147 
 my $el_category = {
+Line 184 
 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 160 
 my $el_category = {
+Line 199 
 my $el_category = {
    marquee => MISC_SCOPING_EL,
    menu => MISC_SPECIAL_EL,
    meta => MISC_SPECIAL_EL,
+   nav => MISC_SPECIAL_EL,
    nobr => NOBR_EL | FORMATTING_EL,
    noembed => MISC_SPECIAL_EL,
    noframes => MISC_SPECIAL_EL,
-Line 172 
 my $el_category = {
+Line 212 
 my $el_category = {
    param => MISC_SPECIAL_EL,
    plaintext => MISC_SPECIAL_EL,
    pre => MISC_SPECIAL_EL,
+   rp => RUBY_COMPONENT_EL,
+   rt => RUBY_COMPONENT_EL,
+   ruby => RUBY_EL,
    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 205 
 my $el_category_f = {
+Line 249 
 my $el_category_f = {
      mtext => FOREIGN_FLOW_CONTENT_EL,
    },
    $SVG_NS => {
-     foreignobject => FOREIGN_FLOW_CONTENT_EL, ## TODO: case
+     foreignObject => FOREIGN_FLOW_CONTENT_EL,
      desc => FOREIGN_FLOW_CONTENT_EL,
      title => FOREIGN_FLOW_CONTENT_EL,
    },
    ## NOTE: In addition, FOREIGN_EL is set to non-HTML elements.
  };
- my $c1_entity_char = {
+ my $svg_attr_name = {
+   attributename => 'attributeName',
+   attributetype => 'attributeType',
+   basefrequency => 'baseFrequency',
+   baseprofile => 'baseProfile',
+   calcmode => 'calcMode',
+   clippathunits => 'clipPathUnits',
+   contentscripttype => 'contentScriptType',
+   contentstyletype => 'contentStyleType',
+   diffuseconstant => 'diffuseConstant',
+   edgemode => 'edgeMode',
+   externalresourcesrequired => 'externalResourcesRequired',
+   filterres => 'filterRes',
+   filterunits => 'filterUnits',
+   glyphref => 'glyphRef',
+   gradienttransform => 'gradientTransform',
+   gradientunits => 'gradientUnits',
+   kernelmatrix => 'kernelMatrix',
+   kernelunitlength => 'kernelUnitLength',
+   keypoints => 'keyPoints',
+   keysplines => 'keySplines',
+   keytimes => 'keyTimes',
+   lengthadjust => 'lengthAdjust',
+   limitingconeangle => 'limitingConeAngle',
+   markerheight => 'markerHeight',
+   markerunits => 'markerUnits',
+   markerwidth => 'markerWidth',
+   maskcontentunits => 'maskContentUnits',
+   maskunits => 'maskUnits',
+   numoctaves => 'numOctaves',
+   pathlength => 'pathLength',
+   patterncontentunits => 'patternContentUnits',
+   patterntransform => 'patternTransform',
+   patternunits => 'patternUnits',
+   pointsatx => 'pointsAtX',
+   pointsaty => 'pointsAtY',
+   pointsatz => 'pointsAtZ',
+   preservealpha => 'preserveAlpha',
+   preserveaspectratio => 'preserveAspectRatio',
+   primitiveunits => 'primitiveUnits',
+   refx => 'refX',
+   refy => 'refY',
+   repeatcount => 'repeatCount',
+   repeatdur => 'repeatDur',
+   requiredextensions => 'requiredExtensions',
+   requiredfeatures => 'requiredFeatures',
+   specularconstant => 'specularConstant',
+   specularexponent => 'specularExponent',
+   spreadmethod => 'spreadMethod',
+   startoffset => 'startOffset',
+   stddeviation => 'stdDeviation',
+   stitchtiles => 'stitchTiles',
+   surfacescale => 'surfaceScale',
+   systemlanguage => 'systemLanguage',
+   tablevalues => 'tableValues',
+   targetx => 'targetX',
+   targety => 'targetY',
+   textlength => 'textLength',
+   viewbox => 'viewBox',
+   viewtarget => 'viewTarget',
+   xchannelselector => 'xChannelSelector',
+   ychannelselector => 'yChannelSelector',
+   zoomandpan => 'zoomAndPan',
+ };
+ my $foreign_attr_xname = {
+   'xlink:actuate' => [$XLINK_NS, ['xlink', 'actuate']],
+   'xlink:arcrole' => [$XLINK_NS, ['xlink', 'arcrole']],
+   'xlink:href' => [$XLINK_NS, ['xlink', 'href']],
+   'xlink:role' => [$XLINK_NS, ['xlink', 'role']],
+   'xlink:show' => [$XLINK_NS, ['xlink', 'show']],
+   'xlink:title' => [$XLINK_NS, ['xlink', 'title']],
+   'xlink:type' => [$XLINK_NS, ['xlink', 'type']],
+   'xml:base' => [$XML_NS, ['xml', 'base']],
+   'xml:lang' => [$XML_NS, ['xml', 'lang']],
+   'xml:space' => [$XML_NS, ['xml', 'space']],
+   'xmlns' => [$XMLNS_NS, [undef, 'xmlns']],
+   'xmlns:xlink' => [$XMLNS_NS, ['xmlns', 'xlink']],
+ };
+ ## ISSUE: xmlns:xlink="non-xlink-ns" is not an error.
+ my $charref_map = {
+x0D => 0x000A,
 x80 => 0x20AC,
 x81 => 0xFFFD,
 x82 => 0x201A,
-Line 245 
 my $c1_entity_char = {
+Line 372 
 my $c1_entity_char = {
 x9D => 0xFFFD,
 x9E => 0x017E,
 x9F => 0x0178,
- }; # $c1_entity_char
+ }; # $charref_map
+ $charref_map->{$_} = 0xFFFD
+     for 0x0000..0x0008, 0x000B, 0x000E..0x001F, 0x007F,
+xD800..0xDFFF, 0xFDD0..0xFDDF, ## ISSUE: 0xFDEF
+xFFFE, 0xFFFF, 0x1FFFE, 0x1FFFF, 0x2FFFE, 0x2FFFF, 0x3FFFE, 0x3FFFF,
+x4FFFE, 0x4FFFF, 0x5FFFE, 0x5FFFF, 0x6FFFE, 0x6FFFF, 0x7FFFE,
+x7FFFF, 0x8FFFE, 0x8FFFF, 0x9FFFE, 0x9FFFF, 0xAFFFE, 0xAFFFF,
+xBFFFE, 0xBFFFF, 0xCFFFE, 0xCFFFF, 0xDFFFE, 0xDFFFF, 0xEFFFE,
+xEFFFF, 0xFFFFE, 0xFFFFF, 0x10FFFE, 0x10FFFF;
+ ## TODO: Invoke the reset algorithm when a resettable element is
+ ## created (cf. HTML5 revision 2259).
  sub parse_byte_string ($$$$;$) {
+   my $self = shift;
+   my $charset_name = shift;
+   open my $input, '<', ref $_[0] ? $_[0] : \($_[0]);
+   return $self->parse_byte_stream ($charset_name, $input, @_[1..$#_]);
+ } # parse_byte_string
+ sub parse_byte_stream ($$$$;$$) {
+   # my ($self, $charset_name, $byte_stream, $doc, $onerror, $get_wrapper) = @_;
    my $self = ref $_[0] ? shift : shift->new;
-   my $charset = shift;
+   my $charset_name = shift;
-   my $bytes_s = ref $_[0] ? $_[0] : \($_[0]);
+   my $byte_stream = $_[0];
-   my $s;
+   my $onerror = $_[2] || sub {
-   if (defined $charset) {
+     my (%opt) = @_;
-     require Encode; ## TODO: decode(utf8) don't delete BOM
+     warn "Parse error ($opt{type})\n";
-     $s = \ (Encode::decode ($charset, $$bytes_s));
+   };
-     $self->{input_encoding} = lc $charset; ## TODO: normalize name
+   $self->{parse_error} = $onerror; # updated later by parse_char_string
-     $self->{confident} = 1;
-   } else {
+   my $get_wrapper = $_[3] || sub ($) {
-     ## TODO: Implement HTML5 detection algorithm
+     return $_[0]; # $_[0] = byte stream handle, returned = arg to char handle
+   };
+   ## HTML5 encoding sniffing algorithm
+   require Message::Charset::Info;
+   my $charset;
+   my $buffer;
+   my ($char_stream, $e_status);
+   SNIFFING: {
+     ## NOTE: By setting |allow_fallback| option true when the
+     ## |get_decode_handle| method is invoked, we ignore what the HTML5
+     ## spec requires, i.e. unsupported encoding should be ignored.
+       ## TODO: We should not do this unless the parser is invoked
+       ## in the conformance checking mode, in which this behavior
+       ## would be useful.
+     ## Step 1
+     if (defined $charset_name) {
+       $charset = Message::Charset::Info->get_by_html_name ($charset_name);
+           ## TODO: Is this ok?  Transfer protocol's parameter should be
+           ## interpreted in its semantics?
+       ($char_stream, $e_status) = $charset->get_decode_handle
+           ($byte_stream, allow_error_reporting => 1,
+            allow_fallback => 1);
+       if ($char_stream) {
+         $self->{confident} = 1;
+         last SNIFFING;
+       } else {
+         !!!parse-error (type => 'charset:not supported',
+                         layer => 'encode',
+                         line => 1, column => 1,
+                         value => $charset_name,
+                         level => $self->{level}->{uncertain});
+       }
+     }
+     ## Step 2
+     my $byte_buffer = '';
+     for (1..1024) {
+       my $char = $byte_stream->getc;
+       last unless defined $char;
+       $byte_buffer .= $char;
+     } ## TODO: timeout
+     ## Step 3
+     if ($byte_buffer =~ /^\xFE\xFF/) {
+       $charset = Message::Charset::Info->get_by_html_name ('utf-16be');
+       ($char_stream, $e_status) = $charset->get_decode_handle
+           ($byte_stream, allow_error_reporting => 1,
+            allow_fallback => 1, byte_buffer => \$byte_buffer);
+       $self->{confident} = 1;
+       last SNIFFING;
+     } elsif ($byte_buffer =~ /^\xFF\xFE/) {
+       $charset = Message::Charset::Info->get_by_html_name ('utf-16le');
+       ($char_stream, $e_status) = $charset->get_decode_handle
+           ($byte_stream, allow_error_reporting => 1,
+            allow_fallback => 1, byte_buffer => \$byte_buffer);
+       $self->{confident} = 1;
+       last SNIFFING;
+     } elsif ($byte_buffer =~ /^\xEF\xBB\xBF/) {
+       $charset = Message::Charset::Info->get_by_html_name ('utf-8');
+       ($char_stream, $e_status) = $charset->get_decode_handle
+           ($byte_stream, allow_error_reporting => 1,
+            allow_fallback => 1, byte_buffer => \$byte_buffer);
+       $self->{confident} = 1;
+       last SNIFFING;
+     }
+     ## Step 4
+     ## TODO: <meta charset>
+     ## Step 5
+     ## TODO: from history
+     ## Step 6
      require Whatpm::Charset::UniversalCharDet;
-     $charset = Whatpm::Charset::UniversalCharDet->detect_byte_string
+     $charset_name = Whatpm::Charset::UniversalCharDet->detect_byte_string
-         (substr ($$bytes_s, 0, 1024));
+         ($byte_buffer);
-     $charset ||= 'windows-1252';
+     if (defined $charset_name) {
-     $s = \ (Encode::decode ($charset, $$bytes_s));
+       $charset = Message::Charset::Info->get_by_html_name ($charset_name);
-     $self->{input_encoding} = $charset;
+       ## ISSUE: Unsupported encoding is not ignored according to the spec.
+       require Whatpm::Charset::DecodeHandle;
+       $buffer = Whatpm::Charset::DecodeHandle::ByteBuffer->new
+           ($byte_stream);
+       ($char_stream, $e_status) = $charset->get_decode_handle
+           ($buffer, allow_error_reporting => 1,
+            allow_fallback => 1, byte_buffer => \$byte_buffer);
+       if ($char_stream) {
+         $buffer->{buffer} = $byte_buffer;
+         !!!parse-error (type => 'sniffing:chardet',
+                         text => $charset_name,
+                         level => $self->{level}->{info},
+                         layer => 'encode',
+                         line => 1, column => 1);
+         $self->{confident} = 0;
+         last SNIFFING;
+       }
+     }
+     ## Step 7: default
+     ## TODO: Make this configurable.
+     $charset = Message::Charset::Info->get_by_html_name ('windows-1252');
+         ## NOTE: We choose |windows-1252| here, since |utf-8| should be
+         ## detectable in the step 6.
+     require Whatpm::Charset::DecodeHandle;
+     $buffer = Whatpm::Charset::DecodeHandle::ByteBuffer->new
+         ($byte_stream);
+     ($char_stream, $e_status)
+         = $charset->get_decode_handle ($buffer,
+                                        allow_error_reporting => 1,
+                                        allow_fallback => 1,
+                                        byte_buffer => \$byte_buffer);
+     $buffer->{buffer} = $byte_buffer;
+     !!!parse-error (type => 'sniffing:default',
+                     text => 'windows-1252',
+                     level => $self->{level}->{info},
+                     line => 1, column => 1,
+                     layer => 'encode');
      $self->{confident} = 0;
+   } # SNIFFING
+   if ($e_status & Message::Charset::Info::FALLBACK_ENCODING_IMPL ()) {
+     $self->{input_encoding} = $charset->get_iana_name; ## TODO: Should we set actual charset decoder's encoding name?
+     !!!parse-error (type => 'chardecode:fallback',
+                     #text => $self->{input_encoding},
+                     level => $self->{level}->{uncertain},
+                     line => 1, column => 1,
+                     layer => 'encode');
+   } elsif (not ($e_status &
+                 Message::Charset::Info::ERROR_REPORTING_ENCODING_IMPL ())) {
+     $self->{input_encoding} = $charset->get_iana_name;
+     !!!parse-error (type => 'chardecode:no error',
+                     text => $self->{input_encoding},
+                     level => $self->{level}->{uncertain},
+                     line => 1, column => 1,
+                     layer => 'encode');
+   } else {
+     $self->{input_encoding} = $charset->get_iana_name;
    }
    $self->{change_encoding} = sub {
      my $self = shift;
-     my $charset = lc shift;
+     $charset_name = shift;
      my $token = shift;
-     ## TODO: if $charset is supported
-     ## TODO: normalize charset name
-     ## "Change the encoding" algorithm:
+     $charset = Message::Charset::Info->get_by_html_name ($charset_name);
+     ($char_stream, $e_status) = $charset->get_decode_handle
+         ($byte_stream, allow_error_reporting => 1, allow_fallback => 1,
+          byte_buffer => \ $buffer->{buffer});
+     if ($char_stream) { # if supported
+       ## "Change the encoding" algorithm:
-     ## Step 1
+       ## Step 1
-     if ($charset eq 'utf-16') { ## ISSUE: UTF-16BE -> UTF-8? UTF-16LE -> UTF-8?
+       if ($charset->{category} &
-       $charset = 'utf-8';
+           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
+       if (defined $self->{input_encoding} and
+           $self->{input_encoding} eq $charset_name) {
+         !!!parse-error (type => 'charset label:matching',
+                         text => $charset_name,
+                         level => $self->{level}->{info});
+         $self->{confident} = 1;
+         return;
+       }
-     ## Step 2
+       !!!parse-error (type => 'charset label detected',
-     if (defined $self->{input_encoding} and
+                       text => $self->{input_encoding},
-         $self->{input_encoding} eq $charset) {
+                       value => $charset_name,
-       $self->{confident} = 1;
+                       level => $self->{level}->{warn},
-       return;
+                       token => $token);
+       ## Step 3
+       # if (can) {
+         ## change the encoding on the fly.
+         #$self->{confident} = 1;
+         #return;
+       # }
+       ## Step 4
+       throw Whatpm::HTML::RestartParser ();
      }
+   }; # $self->{change_encoding}
-     !!!parse-error (type => 'charset label detected:'.$self->{input_encoding}.
+   my $char_onerror = sub {
-         ':'.$charset, level => 'w', token => $token);
+     my (undef, $type, %opt) = @_;
+     !!!parse-error (layer => 'encode',
-     ## Step 3
+                     line => $self->{line}, column => $self->{column} + 1,
-     # if (can) {
+                     %opt, type => $type);
-       ## change the encoding on the fly.
+     if ($opt{octets}) {
-       #$self->{confident} = 1;
+       ${$opt{octets}} = "\x{FFFD}"; # relacement character
-       #return;
+     }
-     # }
+   };
-     ## Step 4
+   my $wrapped_char_stream = $get_wrapper->($char_stream);
-     throw Whatpm::HTML::RestartParser (charset => $charset);
+   $wrapped_char_stream->onerror ($char_onerror);
-   }; # $self->{change_encoding}
-   my @args = @_; shift @args; # $s
+   my @args = ($_[1], $_[2]); # $doc, $onerror - $get_wrapper = undef;
    my $return;
    try {
-     $return = $self->parse_char_string ($s, @args);
+     $return = $self->parse_char_stream ($wrapped_char_stream, @args);
    } catch Whatpm::HTML::RestartParser with {
-     my $charset = shift->{charset};
+     ## NOTE: Invoked after {change_encoding}.
-     $s = \ (Encode::decode ($charset, $$bytes_s));
-     $self->{input_encoding} = $charset; ## TODO: normalize
+     if ($e_status & Message::Charset::Info::FALLBACK_ENCODING_IMPL ()) {
+       $self->{input_encoding} = $charset->get_iana_name; ## TODO: Should we set actual charset decoder's encoding name?
+       !!!parse-error (type => 'chardecode:fallback',
+                       level => $self->{level}->{uncertain},
+                       #text => $self->{input_encoding},
+                       line => 1, column => 1,
+                       layer => 'encode');
+     } elsif (not ($e_status &
+                   Message::Charset::Info::ERROR_REPORTING_ENCODING_IMPL ())) {
+       $self->{input_encoding} = $charset->get_iana_name;
+       !!!parse-error (type => 'chardecode:no error',
+                       text => $self->{input_encoding},
+                       level => $self->{level}->{uncertain},
+                       line => 1, column => 1,
+                       layer => 'encode');
+     } else {
+       $self->{input_encoding} = $charset->get_iana_name;
+     }
      $self->{confident} = 1;
-     $return = $self->parse_char_string ($s, @args);
+     $wrapped_char_stream = $get_wrapper->($char_stream);
+     $wrapped_char_stream->onerror ($char_onerror);
+     $return = $self->parse_char_stream ($wrapped_char_stream, @args);
    };
    return $return;
- } # parse_byte_string
+ } # parse_byte_stream
  ## NOTE: HTML5 spec says that the encoding layer MUST NOT strip BOM
  ## and the HTML layer MUST ignore it.  However, we does strip BOM in
-Line 327 
 sub parse_byte_string ($$$$;$) {
+Line 656 
 sub parse_byte_string ($$$$;$) {
  ## such as |parse_byte_string| in this module, must ensure that it does
  ## strip the BOM and never strip any ZWNBSP.
- *parse_char_string = \&parse_string;
+ sub parse_char_string ($$$;$$) {
+   #my ($self, $s, $doc, $onerror, $get_wrapper) = @_;
+   my $self = shift;
+   my $s = ref $_[0] ? $_[0] : \($_[0]);
+   require Whatpm::Charset::DecodeHandle;
+   my $input = Whatpm::Charset::DecodeHandle::CharString->new ($s);
+   return $self->parse_char_stream ($input, @_[1..$#_]);
+ } # parse_char_string
+ *parse_string = \&parse_char_string; ## NOTE: Alias for backward compatibility.
- sub parse_string ($$$;$) {
+ sub parse_char_stream ($$$;$$) {
    my $self = ref $_[0] ? shift : shift->new;
-   my $s = ref $_[0] ? $_[0] : \($_[0]);
+   my $input = $_[0];
    $self->{document} = $_[1];
    @{$self->{document}->child_nodes} = ();
-Line 340 
 sub parse_string ($$$;$) {
+Line 677 
 sub parse_string ($$$;$) {
    $self->{confident} = 1 unless exists $self->{confident};
    $self->{document}->input_encoding ($self->{input_encoding})
        if defined $self->{input_encoding};
+ ## TODO: |{input_encoding}| is needless?
-   my $i = 0;
    $self->{line_prev} = $self->{line} = 1;
-   $self->{column_prev} = $self->{column} = 0;
+   $self->{column_prev} = -1;
-   $self->{set_next_char} = sub {
+   $self->{column} = 0;
+   $self->{set_nc} = sub {
      my $self = shift;
-     pop @{$self->{prev_char}};
+     my $char = '';
-     unshift @{$self->{prev_char}}, $self->{next_char};
+     if (defined $self->{next_nc}) {
+       $char = $self->{next_nc};
+       delete $self->{next_nc};
+       $self->{nc} = ord $char;
+     } else {
+       $self->{char_buffer} = '';
+       $self->{char_buffer_pos} = 0;
-     $self->{next_char} = -1 and return if $i >= length $$s;
+       my $count = $input->manakai_read_until
-     $self->{next_char} = ord substr $$s, $i++, 1;
+          ($self->{char_buffer}, qr/[^\x00\x0A\x0D]/, $self->{char_buffer_pos});
+       if ($count) {
+         $self->{line_prev} = $self->{line};
+         $self->{column_prev} = $self->{column};
+         $self->{column}++;
+         $self->{nc}
+             = ord substr ($self->{char_buffer}, $self->{char_buffer_pos}++, 1);
+         return;
+       }
+       if ($input->read ($char, 1)) {
+         $self->{nc} = ord $char;
+       } else {
+         $self->{nc} = -1;
+         return;
+       }
+     }
      ($self->{line_prev}, $self->{column_prev})
          = ($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
-       $i++ if substr ($$s, $i, 1) eq "\x0A";
+       !!!cp ('j2');
-       $self->{next_char} = 0x000A; # LF # MUST
+ ## TODO: support for abort/streaming
+       my $next = '';
+       if ($input->read ($next, 1) and $next ne "\x0A") {
+         $self->{next_nc} = $next;
+       }
+       $self->{nc} = 0x000A; # LF # MUST
        $self->{line}++;
        $self->{column} = 0;
-     } elsif ($self->{next_char} > 0x10FFFF) {
+     } elsif ($self->{nc} == 0x0000) { # NULL
-       $self->{next_char} = 0xFFFD; # REPLACEMENT CHARACTER # MUST
+       !!!cp ('j4');
-     } elsif ($self->{next_char} == 0x0000) { # NULL
        !!!parse-error (type => 'NULL');
-       $self->{next_char} = 0xFFFD; # REPLACEMENT CHARACTER # MUST
+       $self->{nc} = 0xFFFD; # REPLACEMENT CHARACTER # MUST
      }
    };
-   $self->{prev_char} = [-1, -1, -1];
-   $self->{next_char} = -1;
+   $self->{read_until} = sub {
+     #my ($scalar, $specials_range, $offset) = @_;
+     return 0 if defined $self->{next_nc};
+     my $pattern = qr/[^$_[1]\x00\x0A\x0D]/;
+     my $offset = $_[2] || 0;
+     if ($self->{char_buffer_pos} < length $self->{char_buffer}) {
+       pos ($self->{char_buffer}) = $self->{char_buffer_pos};
+       if ($self->{char_buffer} =~ /\G(?>$pattern)+/) {
+         substr ($_[0], $offset)
+             = substr ($self->{char_buffer}, $-[0], $+[0] - $-[0]);
+         my $count = $+[0] - $-[0];
+         if ($count) {
+           $self->{column} += $count;
+           $self->{char_buffer_pos} += $count;
+           $self->{line_prev} = $self->{line};
+           $self->{column_prev} = $self->{column} - 1;
+           $self->{nc} = -1;
+         }
+         return $count;
+       } else {
+         return 0;
+       }
+     } else {
+       my $count = $input->manakai_read_until ($_[0], $pattern, $_[2]);
+       if ($count) {
+         $self->{column} += $count;
+         $self->{line_prev} = $self->{line};
+         $self->{column_prev} = $self->{column} - 1;
+         $self->{nc} = -1;
+       }
+       return $count;
+     }
+   }; # $self->{read_until}
    my $onerror = $_[2] || sub {
      my (%opt) = @_;
-Line 385 
 sub parse_string ($$$;$) {
+Line 784 
 sub parse_string ($$$;$) {
      $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 393 
 sub parse_string ($$$;$) {
+Line 806 
 sub parse_string ($$$;$) {
    delete $self->{parse_error}; # remove loop
    return $self->{document};
- } # parse_string
+ } # parse_char_stream
  sub new ($) {
    my $class = shift;
-   my $self = bless {}, $class;
+   my $self = bless {
-   $self->{set_next_char} = sub {
+     level => {must => 'm',
-     $self->{next_char} = -1;
+               should => 's',
+               warn => 'w',
+               info => 'i',
+               uncertain => 'u'},
+   }, $class;
+   $self->{set_nc} = sub {
+     $self->{nc} = -1;
    };
    $self->{parse_error} = sub {
      #
-Line 426 
 sub RCDATA_CONTENT_MODEL () { CM_ENTITY
+Line 845 
 sub RCDATA_CONTENT_MODEL () { CM_ENTITY
  sub PCDATA_CONTENT_MODEL () { CM_ENTITY | CM_FULL_MARKUP }
  sub DATA_STATE () { 0 }
- sub ENTITY_DATA_STATE () { 1 }
+ #sub ENTITY_DATA_STATE () { 1 }
  sub TAG_OPEN_STATE () { 2 }
  sub CLOSE_TAG_OPEN_STATE () { 3 }
  sub TAG_NAME_STATE () { 4 }
-Line 437 
 sub BEFORE_ATTRIBUTE_VALUE_STATE () { 8
+Line 856 
 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 ENTITY_IN_ATTRIBUTE_VALUE_STATE () { 12 }
  sub MARKUP_DECLARATION_OPEN_STATE () { 13 }
  sub COMMENT_START_STATE () { 14 }
  sub COMMENT_START_DASH_STATE () { 15 }
-Line 460 
 sub AFTER_DOCTYPE_SYSTEM_IDENTIFIER_STAT
+Line 879 
 sub AFTER_DOCTYPE_SYSTEM_IDENTIFIER_STAT
  sub BOGUS_DOCTYPE_STATE () { 32 }
  sub AFTER_ATTRIBUTE_VALUE_QUOTED_STATE () { 33 }
  sub SELF_CLOSING_START_TAG_STATE () { 34 }
- sub CDATA_BLOCK_STATE () { 35 }
+ 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_RCDATA_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 PCDATA_STATE () { 50 } # "data state" in the spec
  sub DOCTYPE_TOKEN () { 1 }
  sub COMMENT_TOKEN () { 2 }
-Line 513 
 sub IN_COLUMN_GROUP_IM () { 0b10 }
+Line 950 
 sub IN_COLUMN_GROUP_IM () { 0b10 }
  sub _initialize_tokenizer ($) {
    my $self = shift;
    $self->{state} = DATA_STATE; # MUST
+   #$self->{s_kwd}; # 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}; # start tag, end tag, comment, or DOCTYPE
+   undef $self->{ct}; # current token
-   undef $self->{current_attribute};
+   undef $self->{ca}; # current attribute
-   undef $self->{last_emitted_start_tag_name};
+   undef $self->{last_stag_name}; # last emitted start tag name
-   undef $self->{last_attribute_value_state};
+   #$self->{prev_state}; # initialized when used
    delete $self->{self_closing};
-   $self->{char} = [];
+   $self->{char_buffer} = '';
-   # $self->{next_char}
+   $self->{char_buffer_pos} = 0;
+   $self->{nc} = -1; # next input character
+   #$self->{next_nc}
    !!!next-input-character;
    $self->{token} = [];
    # $self->{escape}
-Line 531 
 sub _initialize_tokenizer ($) {
+Line 973 
 sub _initialize_tokenizer ($) {
  ##       CHARACTER_TOKEN, or END_OF_FILE_TOKEN
  ##   ->{name} (DOCTYPE_TOKEN)
  ##   ->{tag_name} (START_TAG_TOKEN, END_TAG_TOKEN)
- ##   ->{public_identifier} (DOCTYPE_TOKEN)
+ ##   ->{pubid} (DOCTYPE_TOKEN)
- ##   ->{system_identifier} (DOCTYPE_TOKEN)
+ ##   ->{sysid} (DOCTYPE_TOKEN)
  ##   ->{quirks} == 1 or 0 (DOCTYPE_TOKEN): "force-quirks" flag
  ##   ->{attributes} isa HASH (START_TAG_TOKEN, END_TAG_TOKEN)
  ##        ->{name}
-Line 543 
 sub _initialize_tokenizer ($) {
+Line 985 
 sub _initialize_tokenizer ($) {
  ##     |->{self_closing}| is used to save the value of |$self->{self_closing}|
  ##     while the token is pushed back to the stack.
- ## ISSUE: "When a DOCTYPE token is created, its
- ## <i>self-closing flag</i> must be unset (its other state is that it
- ## be set), and its attributes list must be empty.": Wrong subject?
  ## 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
-Line 555 
 sub _initialize_tokenizer ($) {
+Line 993 
 sub _initialize_tokenizer ($) {
  ## has completed loading.  If one has, then it MUST be executed
  ## and removed from the list.
- ## NOTE: HTML5 "Writing HTML documents" section, applied to
+ ## TODO: Polytheistic slash SHOULD NOT be used. (Applied only to atheists.)
- ## documents and not to user agents and conformance checkers,
+ ## (This requirement was dropped from HTML5 spec, unfortunately.)
- ## contains some requirements that are not detected by the
- ## parsing algorithm:
+ my $is_space = {
- ## - Some requirements on character encoding declarations. ## TODO
+x0009 => 1, # CHARACTER TABULATION (HT)
- ## - "Elements MUST NOT contain content that their content model disallows."
+x000A => 1, # LINE FEED (LF)
- ##   ... Some are parse error, some are not (will be reported by c.c.).
+   #0x000B => 0, # LINE TABULATION (VT)
- ## - Polytheistic slash SHOULD NOT be used. (Applied only to atheists.) ## TODO
+x000C => 1, # FORM FEED (FF)
- ## - Text (in elements, attributes, and comments) SHOULD NOT contain
+   #0x000D => 1, # CARRIAGE RETURN (CR)
- ##   control characters other than space characters. ## TODO: (what is control character? C0, C1 and DEL?  Unicode control character?)
+x0020 => 1, # SPACE (SP)
+ };
- ## TODO: HTML5 poses authors two SHOULD-level requirements that cannot
- ## be detected by the HTML5 parsing algorithm:
- ## - Text,
  sub _get_next_token ($) {
    my $self = shift;
    if ($self->{self_closing}) {
-     !!!parse-error (type => 'nestc', token => $self->{current_token});
+     !!!parse-error (type => 'nestc', token => $self->{ct});
      ## 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|.
+     ## |ct|.
      delete $self->{self_closing};
    }
-Line 587 
 sub _get_next_token ($) {
+Line 1022 
 sub _get_next_token ($) {
    }
    A: {
-     if ($self->{state} == DATA_STATE) {
+     if ($self->{state} == PCDATA_STATE) {
-       if ($self->{next_char} == 0x0026) { # &
+       ## NOTE: Same as |DATA_STATE|, but only for |PCDATA| content model.
+       if ($self->{nc} == 0x0026) { # &
+         !!!cp (0.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_add} = -1;
+         $self->{prev_state} = DATA_STATE;
+         $self->{state} = ENTITY_STATE;
+         !!!next-input-character;
+         redo A;
+       } elsif ($self->{nc} == 0x003C) { # <
+         !!!cp (0.2);
+         $self->{state} = TAG_OPEN_STATE;
+         !!!next-input-character;
+         redo A;
+       } elsif ($self->{nc} == -1) {
+         !!!cp (0.3);
+         !!!emit ({type => END_OF_FILE_TOKEN,
+                   line => $self->{line}, column => $self->{column}});
+         last A; ## TODO: ok?
+       } else {
+         !!!cp (0.4);
+         #
+       }
+       # Anything else
+       my $token = {type => CHARACTER_TOKEN,
+                    data => chr $self->{nc},
+                    line => $self->{line}, column => $self->{column},
+                   };
+       $self->{read_until}->($token->{data}, q[<&], length $token->{data});
+       ## Stay in the state.
+       !!!next-input-character;
+       !!!emit ($token);
+       redo A;
+     } elsif ($self->{state} == DATA_STATE) {
+       $self->{s_kwd} = '' unless defined $self->{s_kwd};
+       if ($self->{nc} == 0x0026) { # &
+         $self->{s_kwd} = '';
          if ($self->{content_model} & CM_ENTITY and # PCDATA | RCDATA
              not $self->{escape}) {
            !!!cp (1);
-           $self->{state} = ENTITY_DATA_STATE;
+           ## 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_add} = -1;
+           $self->{prev_state} = DATA_STATE;
+           $self->{state} = ENTITY_STATE;
            !!!next-input-character;
            redo A;
          } else {
            !!!cp (2);
            #
          }
-       } elsif ($self->{next_char} == 0x002D) { # -
+       } elsif ($self->{nc} == 0x002D) { # -
          if ($self->{content_model} & CM_LIMITED_MARKUP) { # RCDATA | CDATA
-           unless ($self->{escape}) {
+           $self->{s_kwd} .= '-';
-             if ($self->{prev_char}->[0] == 0x002D and # -
-                 $self->{prev_char}->[1] == 0x0021 and # !
+           if ($self->{s_kwd} eq '<!--') {
-                 $self->{prev_char}->[2] == 0x003C) { # <
+             !!!cp (3);
-               !!!cp (3);
+             $self->{escape} = 1; # unless $self->{escape};
-               $self->{escape} = 1;
+             $self->{s_kwd} = '--';
-             } else {
+             #
-               !!!cp (4);
+           } elsif ($self->{s_kwd} eq '---') {
-             }
+             !!!cp (4);
+             $self->{s_kwd} = '--';
+             #
            } else {
              !!!cp (5);
+             #
            }
          }
          #
-       } elsif ($self->{next_char} == 0x003C) { # <
+       } elsif ($self->{nc} == 0x0021) { # !
+         if (length $self->{s_kwd}) {
+           !!!cp (5.1);
+           $self->{s_kwd} .= '!';
+           #
+         } else {
+           !!!cp (5.2);
+           #$self->{s_kwd} = '';
+           #
+         }
+         #
+       } elsif ($self->{nc} == 0x003C) { # <
          if ($self->{content_model} & CM_FULL_MARKUP or # PCDATA
              (($self->{content_model} & CM_LIMITED_MARKUP) and # CDATA | RCDATA
               not $self->{escape})) {
-Line 626 
 sub _get_next_token ($) {
+Line 1123 
 sub _get_next_token ($) {
            redo A;
          } else {
            !!!cp (7);
+           $self->{s_kwd} = '';
            #
          }
-       } elsif ($self->{next_char} == 0x003E) { # >
+       } elsif ($self->{nc} == 0x003E) { # >
          if ($self->{escape} and
              ($self->{content_model} & CM_LIMITED_MARKUP)) { # RCDATA | CDATA
-           if ($self->{prev_char}->[0] == 0x002D and # -
+           if ($self->{s_kwd} eq '--') {
-               $self->{prev_char}->[1] == 0x002D) { # -
              !!!cp (8);
              delete $self->{escape};
            } else {
-Line 642 
 sub _get_next_token ($) {
+Line 1139 
 sub _get_next_token ($) {
            !!!cp (10);
          }
+         $self->{s_kwd} = '';
          #
-       } elsif ($self->{next_char} == -1) {
+       } elsif ($self->{nc} == -1) {
          !!!cp (11);
+         $self->{s_kwd} = '';
          !!!emit ({type => END_OF_FILE_TOKEN,
                    line => $self->{line}, column => $self->{column}});
          last A; ## TODO: ok?
        } else {
          !!!cp (12);
+         $self->{s_kwd} = '';
+         #
        }
        # Anything else
        my $token = {type => CHARACTER_TOKEN,
-                    data => chr $self->{next_char},
+                    data => chr $self->{nc},
                     line => $self->{line}, column => $self->{column},
                    };
-       ## Stay in the data state
+       if ($self->{read_until}->($token->{data}, q[-!<>&],
-       !!!next-input-character;
+                                 length $token->{data})) {
+         $self->{s_kwd} = '';
-       !!!emit ($token);
+       }
-       redo A;
-     } elsif ($self->{state} == ENTITY_DATA_STATE) {
-       ## (cannot happen in CDATA state)
-       my ($l, $c) = ($self->{line_prev}, $self->{column_prev});
-       my $token = $self->_tokenize_attempt_to_consume_an_entity (0, -1);
-       $self->{state} = DATA_STATE;
-       # next-input-character is already done
-       unless (defined $token) {
+       ## Stay in the data state.
+       if ($self->{content_model} == PCDATA_CONTENT_MODEL) {
          !!!cp (13);
-         !!!emit ({type => CHARACTER_TOKEN, data => '&',
+         $self->{state} = PCDATA_STATE;
-                   line => $l, column => $c,
-                  });
        } else {
          !!!cp (14);
-         !!!emit ($token);
+         ## Stay in the 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) { # /
+         if ($self->{nc} == 0x002F) { # /
            !!!cp (15);
            !!!next-input-character;
            $self->{state} = CLOSE_TAG_OPEN_STATE;
            redo A;
+         } elsif ($self->{nc} == 0x0021) { # !
+           !!!cp (15.1);
+           $self->{s_kwd} = '<' unless $self->{escape};
+           #
          } else {
            !!!cp (16);
-           ## reconsume
+           #
-           $self->{state} = DATA_STATE;
-           !!!emit ({type => CHARACTER_TOKEN, data => '<',
-                     line => $self->{line_prev},
-                     column => $self->{column_prev},
-                    });
-           redo A;
          }
+         ## 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) { # !
+         if ($self->{nc} == 0x0021) { # !
            !!!cp (17);
            $self->{state} = MARKUP_DECLARATION_OPEN_STATE;
            !!!next-input-character;
            redo A;
-         } elsif ($self->{next_char} == 0x002F) { # /
+         } elsif ($self->{nc} == 0x002F) { # /
            !!!cp (18);
            $self->{state} = CLOSE_TAG_OPEN_STATE;
            !!!next-input-character;
            redo A;
-         } elsif (0x0041 <= $self->{next_char} and
+         } elsif (0x0041 <= $self->{nc} and
-                  $self->{next_char} <= 0x005A) { # A..Z
+                  $self->{nc} <= 0x005A) { # A..Z
            !!!cp (19);
-           $self->{current_token}
+           $self->{ct}
              = {type => START_TAG_TOKEN,
-                tag_name => chr ($self->{next_char} + 0x0020),
+                tag_name => chr ($self->{nc} + 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
+         } elsif (0x0061 <= $self->{nc} and
-                  $self->{next_char} <= 0x007A) { # a..z
+                  $self->{nc} <= 0x007A) { # a..z
            !!!cp (20);
-           $self->{current_token} = {type => START_TAG_TOKEN,
+           $self->{ct} = {type => START_TAG_TOKEN,
-                                     tag_name => chr ($self->{next_char}),
+                                     tag_name => chr ($self->{nc}),
                                      line => $self->{line_prev},
                                      column => $self->{column_prev}};
            $self->{state} = TAG_NAME_STATE;
            !!!next-input-character;
            redo A;
-         } elsif ($self->{next_char} == 0x003E) { # >
+         } elsif ($self->{nc} == 0x003E) { # >
            !!!cp (21);
            !!!parse-error (type => 'empty start tag',
                            line => $self->{line_prev},
-Line 748 
 sub _get_next_token ($) {
+Line 1243 
 sub _get_next_token ($) {
                     });
            redo A;
-         } elsif ($self->{next_char} == 0x003F) { # ?
+         } elsif ($self->{nc} == 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 => '',
+           $self->{ct} = {type => COMMENT_TOKEN, data => '',
                                      line => $self->{line_prev},
                                      column => $self->{column_prev},
                                     };
-           ## $self->{next_char} is intentionally left as is
+           ## $self->{nc} is intentionally left as is
            redo A;
          } else {
            !!!cp (23);
-           !!!parse-error (type => 'bare stago');
+           !!!parse-error (type => 'bare stago',
+                           line => $self->{line_prev},
+                           column => $self->{column_prev});
            $self->{state} = DATA_STATE;
            ## reconsume
-Line 777 
 sub _get_next_token ($) {
+Line 1274 
 sub _get_next_token ($) {
          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_RCDATA_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}) {
+         if (defined $self->{last_stag_name}) {
+           $self->{state} = CDATA_RCDATA_CLOSE_TAG_STATE;
-           ## NOTE: <http://krijnhoetmer.nl/irc-logs/whatwg/20070626#l-564>
+           $self->{s_kwd} = '';
-           my @next_char;
+           ## Reconsume.
-           TAGNAME: for (my $i = 0; $i < length $self->{last_emitted_start_tag_name}; $i++) {
+           redo A;
-             push @next_char, $self->{next_char};
-             my $c = ord substr ($self->{last_emitted_start_tag_name}, $i, 1);
-             my $C = 0x0061 <= $c && $c <= 0x007A ? $c - 0x0020 : $c;
-             if ($self->{next_char} == $c or $self->{next_char} == $C) {
-               !!!cp (24);
-               !!!next-input-character;
-               next TAGNAME;
-             } else {
-               !!!cp (25);
-               $self->{next_char} = shift @next_char; # reconsume
-               !!!back-next-input-character (@next_char);
-               $self->{state} = DATA_STATE;
-               !!!emit ({type => CHARACTER_TOKEN, data => '</',
-                         line => $l, column => $c,
-                        });
-               redo A;
-             }
-           }
-           push @next_char, $self->{next_char};
-           unless ($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 or # SP
-                   $self->{next_char} == 0x003E or # >
-                   $self->{next_char} == 0x002F or # /
-                   $self->{next_char} == -1) {
-             !!!cp (26);
-             $self->{next_char} = shift @next_char; # reconsume
-             !!!back-next-input-character (@next_char);
-             $self->{state} = DATA_STATE;
-             !!!emit ({type => CHARACTER_TOKEN, data => '</',
-                       line => $l, column => $c,
-                      });
-             redo A;
-           } else {
-             !!!cp (27);
-             $self->{next_char} = shift @next_char;
-             !!!back-next-input-character (@next_char);
-             # and consume...
-           }
          } else {
            ## No start tag token has ever been emitted
+           ## NOTE: See <http://krijnhoetmer.nl/irc-logs/whatwg/20070626#l-564>.
            !!!cp (28);
-           # next-input-character is already done
            $self->{state} = DATA_STATE;
+           ## Reconsume.
            !!!emit ({type => CHARACTER_TOKEN, data => '</',
                      line => $l, column => $c,
                     });
            redo A;
          }
        }
-       if (0x0041 <= $self->{next_char} and
+       if (0x0041 <= $self->{nc} and
-           $self->{next_char} <= 0x005A) { # A..Z
+           $self->{nc} <= 0x005A) { # A..Z
          !!!cp (29);
-         $self->{current_token}
+         $self->{ct}
              = {type => END_TAG_TOKEN,
-                tag_name => chr ($self->{next_char} + 0x0020),
+                tag_name => chr ($self->{nc} + 0x0020),
                 line => $l, column => $c};
          $self->{state} = TAG_NAME_STATE;
          !!!next-input-character;
          redo A;
-       } elsif (0x0061 <= $self->{next_char} and
+       } elsif (0x0061 <= $self->{nc} and
-                $self->{next_char} <= 0x007A) { # a..z
+                $self->{nc} <= 0x007A) { # a..z
          !!!cp (30);
-         $self->{current_token} = {type => END_TAG_TOKEN,
+         $self->{ct} = {type => END_TAG_TOKEN,
-                                   tag_name => chr ($self->{next_char}),
+                                   tag_name => chr ($self->{nc}),
                                    line => $l, column => $c};
          $self->{state} = TAG_NAME_STATE;
          !!!next-input-character;
          redo A;
-       } elsif ($self->{next_char} == 0x003E) { # >
+       } elsif ($self->{nc} == 0x003E) { # >
          !!!cp (31);
          !!!parse-error (type => 'empty end tag',
                          line => $self->{line_prev}, ## "<" in "</>"
-Line 867 
 sub _get_next_token ($) {
+Line 1324 
 sub _get_next_token ($) {
          $self->{state} = DATA_STATE;
          !!!next-input-character;
          redo A;
-       } elsif ($self->{next_char} == -1) {
+       } elsif ($self->{nc} == -1) {
          !!!cp (32);
          !!!parse-error (type => 'bare etago');
          $self->{state} = DATA_STATE;
-Line 882 
 sub _get_next_token ($) {
+Line 1339 
 sub _get_next_token ($) {
          !!!cp (33);
          !!!parse-error (type => 'bogus end tag');
          $self->{state} = BOGUS_COMMENT_STATE;
-         $self->{current_token} = {type => COMMENT_TOKEN, data => '',
+         $self->{ct} = {type => COMMENT_TOKEN, data => '',
                                    line => $self->{line_prev}, # "<" of "</"
                                    column => $self->{column_prev} - 1,
                                   };
-         ## $self->{next_char} is intentionally left as is
+         ## NOTE: $self->{nc} is intentionally left as is.
-         redo A;
+         ## 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_RCDATA_CLOSE_TAG_STATE) {
+       my $ch = substr $self->{last_stag_name}, length $self->{s_kwd}, 1;
+       if (length $ch) {
+         my $CH = $ch;
+         $ch =~ tr/a-z/A-Z/;
+         my $nch = chr $self->{nc};
+         if ($nch eq $ch or $nch eq $CH) {
+           !!!cp (24);
+           ## Stay in the state.
+           $self->{s_kwd} .= $nch;
+           !!!next-input-character;
+           redo A;
+         } else {
+           !!!cp (25);
+           $self->{state} = DATA_STATE;
+           ## Reconsume.
+           !!!emit ({type => CHARACTER_TOKEN,
+                     data => '</' . $self->{s_kwd},
+                     line => $self->{line_prev},
+                     column => $self->{column_prev} - 1 - length $self->{s_kwd},
+                    });
+           redo A;
+         }
+       } else { # after "<{tag-name}"
+         unless ($is_space->{$self->{nc}} or
+                 {
+x003E => 1, # >
+x002F => 1, # /
+                  -1 => 1, # EOF
+                 }->{$self->{nc}}) {
+           !!!cp (26);
+           ## Reconsume.
+           $self->{state} = DATA_STATE;
+           !!!emit ({type => CHARACTER_TOKEN,
+                     data => '</' . $self->{s_kwd},
+                     line => $self->{line_prev},
+                     column => $self->{column_prev} - 1 - length $self->{s_kwd},
+                    });
+           redo A;
+         } else {
+           !!!cp (27);
+           $self->{ct}
+               = {type => END_TAG_TOKEN,
+                  tag_name => $self->{last_stag_name},
+                  line => $self->{line_prev},
+                  column => $self->{column_prev} - 1 - length $self->{s_kwd}};
+           $self->{state} = TAG_NAME_STATE;
+           ## Reconsume.
+           redo A;
+         }
        }
      } elsif ($self->{state} == TAG_NAME_STATE) {
-       if ($self->{next_char} == 0x0009 or # HT
+       if ($is_space->{$self->{nc}}) {
-           $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) { # >
+       } elsif ($self->{nc} == 0x003E) { # >
-         if ($self->{current_token}->{type} == START_TAG_TOKEN) {
+         if ($self->{ct}->{type} == START_TAG_TOKEN) {
            !!!cp (35);
-           $self->{last_emitted_start_tag_name} = $self->{current_token}->{tag_name};
+           $self->{last_stag_name} = $self->{ct}->{tag_name};
-         } elsif ($self->{current_token}->{type} == END_TAG_TOKEN) {
+         } elsif ($self->{ct}->{type} == END_TAG_TOKEN) {
            $self->{content_model} = PCDATA_CONTENT_MODEL; # MUST
-           #if ($self->{current_token}->{attributes}) {
+           #if ($self->{ct}->{attributes}) {
            #  ## NOTE: This should never be reached.
            #  !!! cp (36);
            #  !!! parse-error (type => 'end tag attribute');
-Line 913 
 sub _get_next_token ($) {
+Line 1422 
 sub _get_next_token ($) {
              !!!cp (37);
            #}
          } else {
-           die "$0: $self->{current_token}->{type}: Unknown token type";
+           die "$0: $self->{ct}->{type}: Unknown token type";
          }
          $self->{state} = DATA_STATE;
          !!!next-input-character;
-         !!!emit ($self->{current_token}); # start tag or end tag
+         !!!emit ($self->{ct}); # start tag or end tag
          redo A;
-       } elsif (0x0041 <= $self->{next_char} and
+       } elsif (0x0041 <= $self->{nc} and
-                $self->{next_char} <= 0x005A) { # A..Z
+                $self->{nc} <= 0x005A) { # A..Z
          !!!cp (38);
-         $self->{current_token}->{tag_name} .= chr ($self->{next_char} + 0x0020);
+         $self->{ct}->{tag_name} .= chr ($self->{nc} + 0x0020);
            # start tag or end tag
          ## Stay in this state
          !!!next-input-character;
          redo A;
-       } elsif ($self->{next_char} == -1) {
+       } elsif ($self->{nc} == -1) {
          !!!parse-error (type => 'unclosed tag');
-         if ($self->{current_token}->{type} == START_TAG_TOKEN) {
+         if ($self->{ct}->{type} == START_TAG_TOKEN) {
            !!!cp (39);
-           $self->{last_emitted_start_tag_name} = $self->{current_token}->{tag_name};
+           $self->{last_stag_name} = $self->{ct}->{tag_name};
-         } elsif ($self->{current_token}->{type} == END_TAG_TOKEN) {
+         } elsif ($self->{ct}->{type} == END_TAG_TOKEN) {
            $self->{content_model} = PCDATA_CONTENT_MODEL; # MUST
-           #if ($self->{current_token}->{attributes}) {
+           #if ($self->{ct}->{attributes}) {
            #  ## NOTE: This state should never be reached.
            #  !!! cp (40);
            #  !!! parse-error (type => 'end tag attribute');
-Line 944 
 sub _get_next_token ($) {
+Line 1453 
 sub _get_next_token ($) {
              !!!cp (41);
            #}
          } else {
-           die "$0: $self->{current_token}->{type}: Unknown token type";
+           die "$0: $self->{ct}->{type}: Unknown token type";
          }
          $self->{state} = DATA_STATE;
          # reconsume
-         !!!emit ($self->{current_token}); # start tag or end tag
+         !!!emit ($self->{ct}); # start tag or end tag
          redo A;
-       } elsif ($self->{next_char} == 0x002F) { # /
+       } elsif ($self->{nc} == 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};
+         $self->{ct}->{tag_name} .= chr $self->{nc};
            # 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
+       if ($is_space->{$self->{nc}}) {
-           $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) { # >
+       } elsif ($self->{nc} == 0x003E) { # >
-         if ($self->{current_token}->{type} == START_TAG_TOKEN) {
+         if ($self->{ct}->{type} == START_TAG_TOKEN) {
            !!!cp (46);
-           $self->{last_emitted_start_tag_name} = $self->{current_token}->{tag_name};
+           $self->{last_stag_name} = $self->{ct}->{tag_name};
-         } elsif ($self->{current_token}->{type} == END_TAG_TOKEN) {
+         } elsif ($self->{ct}->{type} == END_TAG_TOKEN) {
            $self->{content_model} = PCDATA_CONTENT_MODEL; # MUST
-           if ($self->{current_token}->{attributes}) {
+           if ($self->{ct}->{attributes}) {
              !!!cp (47);
              !!!parse-error (type => 'end tag attribute');
            } else {
              !!!cp (48);
            }
          } else {
-           die "$0: $self->{current_token}->{type}: Unknown token type";
+           die "$0: $self->{ct}->{type}: Unknown token type";
          }
          $self->{state} = DATA_STATE;
          !!!next-input-character;
-         !!!emit ($self->{current_token}); # start tag or end tag
+         !!!emit ($self->{ct}); # start tag or end tag
          redo A;
-       } elsif (0x0041 <= $self->{next_char} and
+       } elsif (0x0041 <= $self->{nc} and
-                $self->{next_char} <= 0x005A) { # A..Z
+                $self->{nc} <= 0x005A) { # A..Z
          !!!cp (49);
-         $self->{current_attribute}
+         $self->{ca}
-             = {name => chr ($self->{next_char} + 0x0020),
+             = {name => chr ($self->{nc} + 0x0020),
                 value => '',
                 line => $self->{line}, column => $self->{column}};
          $self->{state} = ATTRIBUTE_NAME_STATE;
          !!!next-input-character;
          redo A;
-       } elsif ($self->{next_char} == 0x002F) { # /
+       } elsif ($self->{nc} == 0x002F) { # /
          !!!cp (50);
          $self->{state} = SELF_CLOSING_START_TAG_STATE;
          !!!next-input-character;
          redo A;
-       } elsif ($self->{next_char} == -1) {
+       } elsif ($self->{nc} == -1) {
          !!!parse-error (type => 'unclosed tag');
-         if ($self->{current_token}->{type} == START_TAG_TOKEN) {
+         if ($self->{ct}->{type} == START_TAG_TOKEN) {
            !!!cp (52);
-           $self->{last_emitted_start_tag_name} = $self->{current_token}->{tag_name};
+           $self->{last_stag_name} = $self->{ct}->{tag_name};
-         } elsif ($self->{current_token}->{type} == END_TAG_TOKEN) {
+         } elsif ($self->{ct}->{type} == END_TAG_TOKEN) {
            $self->{content_model} = PCDATA_CONTENT_MODEL; # MUST
-           if ($self->{current_token}->{attributes}) {
+           if ($self->{ct}->{attributes}) {
              !!!cp (53);
              !!!parse-error (type => 'end tag attribute');
            } else {
              !!!cp (54);
            }
          } else {
-           die "$0: $self->{current_token}->{type}: Unknown token type";
+           die "$0: $self->{ct}->{type}: Unknown token type";
          }
          $self->{state} = DATA_STATE;
          # reconsume
-         !!!emit ($self->{current_token}); # start tag or end tag
+         !!!emit ($self->{ct}); # start tag or end tag
          redo A;
        } else {
-Line 1038 
 sub _get_next_token ($) {
+Line 1543 
 sub _get_next_token ($) {
 x0022 => 1, # "
 x0027 => 1, # '
 x003D => 1, # =
-             }->{$self->{next_char}}) {
+             }->{$self->{nc}}) {
            !!!cp (55);
            !!!parse-error (type => 'bad attribute name');
          } else {
            !!!cp (56);
          }
-         $self->{current_attribute}
+         $self->{ca}
-             = {name => chr ($self->{next_char}),
+             = {name => chr ($self->{nc}),
                 value => '',
                 line => $self->{line}, column => $self->{column}};
          $self->{state} = ATTRIBUTE_NAME_STATE;
-Line 1054 
 sub _get_next_token ($) {
+Line 1559 
 sub _get_next_token ($) {
        }
      } elsif ($self->{state} == ATTRIBUTE_NAME_STATE) {
        my $before_leave = sub {
-         if (exists $self->{current_token}->{attributes} # start tag or end tag
+         if (exists $self->{ct}->{attributes} # start tag or end tag
-             ->{$self->{current_attribute}->{name}}) { # MUST
+             ->{$self->{ca}->{name}}) { # MUST
            !!!cp (57);
-           !!!parse-error (type => 'duplicate attribute:'.$self->{current_attribute}->{name}, line => $self->{current_attribute}->{line}, column => $self->{current_attribute}->{column});
+           !!!parse-error (type => 'duplicate attribute', text => $self->{ca}->{name}, line => $self->{ca}->{line}, column => $self->{ca}->{column});
-           ## Discard $self->{current_attribute} # MUST
+           ## Discard $self->{ca} # MUST
          } else {
            !!!cp (58);
-           $self->{current_token}->{attributes}->{$self->{current_attribute}->{name}}
+           $self->{ct}->{attributes}->{$self->{ca}->{name}}
-             = $self->{current_attribute};
+             = $self->{ca};
          }
        }; # $before_leave
-       if ($self->{next_char} == 0x0009 or # HT
+       if ($is_space->{$self->{nc}}) {
-           $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) { # =
+       } elsif ($self->{nc} == 0x003D) { # =
          !!!cp (60);
          $before_leave->();
          $self->{state} = BEFORE_ATTRIBUTE_VALUE_STATE;
          !!!next-input-character;
          redo A;
-       } elsif ($self->{next_char} == 0x003E) { # >
+       } elsif ($self->{nc} == 0x003E) { # >
          $before_leave->();
-         if ($self->{current_token}->{type} == START_TAG_TOKEN) {
+         if ($self->{ct}->{type} == START_TAG_TOKEN) {
            !!!cp (61);
-           $self->{last_emitted_start_tag_name} = $self->{current_token}->{tag_name};
+           $self->{last_stag_name} = $self->{ct}->{tag_name};
-         } elsif ($self->{current_token}->{type} == END_TAG_TOKEN) {
+         } elsif ($self->{ct}->{type} == END_TAG_TOKEN) {
            !!!cp (62);
            $self->{content_model} = PCDATA_CONTENT_MODEL; # MUST
-           if ($self->{current_token}->{attributes}) {
+           if ($self->{ct}->{attributes}) {
              !!!parse-error (type => 'end tag attribute');
            }
          } else {
-           die "$0: $self->{current_token}->{type}: Unknown token type";
+           die "$0: $self->{ct}->{type}: Unknown token type";
          }
          $self->{state} = DATA_STATE;
          !!!next-input-character;
-         !!!emit ($self->{current_token}); # start tag or end tag
+         !!!emit ($self->{ct}); # start tag or end tag
          redo A;
-       } elsif (0x0041 <= $self->{next_char} and
+       } elsif (0x0041 <= $self->{nc} and
-                $self->{next_char} <= 0x005A) { # A..Z
+                $self->{nc} <= 0x005A) { # A..Z
          !!!cp (63);
-         $self->{current_attribute}->{name} .= chr ($self->{next_char} + 0x0020);
+         $self->{ca}->{name} .= chr ($self->{nc} + 0x0020);
          ## Stay in the state
          !!!next-input-character;
          redo A;
-       } elsif ($self->{next_char} == 0x002F) { # /
+       } elsif ($self->{nc} == 0x002F) { # /
          !!!cp (64);
          $before_leave->();
          $self->{state} = SELF_CLOSING_START_TAG_STATE;
          !!!next-input-character;
          redo A;
-       } elsif ($self->{next_char} == -1) {
+       } elsif ($self->{nc} == -1) {
          !!!parse-error (type => 'unclosed tag');
          $before_leave->();
-         if ($self->{current_token}->{type} == START_TAG_TOKEN) {
+         if ($self->{ct}->{type} == START_TAG_TOKEN) {
            !!!cp (66);
-           $self->{last_emitted_start_tag_name} = $self->{current_token}->{tag_name};
+           $self->{last_stag_name} = $self->{ct}->{tag_name};
-         } elsif ($self->{current_token}->{type} == END_TAG_TOKEN) {
+         } elsif ($self->{ct}->{type} == END_TAG_TOKEN) {
            $self->{content_model} = PCDATA_CONTENT_MODEL; # MUST
-           if ($self->{current_token}->{attributes}) {
+           if ($self->{ct}->{attributes}) {
              !!!cp (67);
              !!!parse-error (type => 'end tag attribute');
            } else {
-Line 1131 
 sub _get_next_token ($) {
+Line 1632 
 sub _get_next_token ($) {
              !!!cp (68);
            }
          } else {
-           die "$0: $self->{current_token}->{type}: Unknown token type";
+           die "$0: $self->{ct}->{type}: Unknown token type";
          }
          $self->{state} = DATA_STATE;
          # reconsume
-         !!!emit ($self->{current_token}); # start tag or end tag
+         !!!emit ($self->{ct}); # start tag or end tag
          redo A;
        } else {
-         if ($self->{next_char} == 0x0022 or # "
+         if ($self->{nc} == 0x0022 or # "
-             $self->{next_char} == 0x0027) { # '
+             $self->{nc} == 0x0027) { # '
            !!!cp (69);
            !!!parse-error (type => 'bad attribute name');
          } else {
            !!!cp (70);
          }
-         $self->{current_attribute}->{name} .= chr ($self->{next_char});
+         $self->{ca}->{name} .= chr ($self->{nc});
          ## Stay in the state
          !!!next-input-character;
          redo A;
        }
      } elsif ($self->{state} == AFTER_ATTRIBUTE_NAME_STATE) {
-       if ($self->{next_char} == 0x0009 or # HT
+       if ($is_space->{$self->{nc}}) {
-           $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) { # =
+       } elsif ($self->{nc} == 0x003D) { # =
          !!!cp (72);
          $self->{state} = BEFORE_ATTRIBUTE_VALUE_STATE;
          !!!next-input-character;
          redo A;
-       } elsif ($self->{next_char} == 0x003E) { # >
+       } elsif ($self->{nc} == 0x003E) { # >
-         if ($self->{current_token}->{type} == START_TAG_TOKEN) {
+         if ($self->{ct}->{type} == START_TAG_TOKEN) {
            !!!cp (73);
-           $self->{last_emitted_start_tag_name} = $self->{current_token}->{tag_name};
+           $self->{last_stag_name} = $self->{ct}->{tag_name};
-         } elsif ($self->{current_token}->{type} == END_TAG_TOKEN) {
+         } elsif ($self->{ct}->{type} == END_TAG_TOKEN) {
            $self->{content_model} = PCDATA_CONTENT_MODEL; # MUST
-           if ($self->{current_token}->{attributes}) {
+           if ($self->{ct}->{attributes}) {
              !!!cp (74);
              !!!parse-error (type => 'end tag attribute');
            } else {
-Line 1181 
 sub _get_next_token ($) {
+Line 1678 
 sub _get_next_token ($) {
              !!!cp (75);
            }
          } else {
-           die "$0: $self->{current_token}->{type}: Unknown token type";
+           die "$0: $self->{ct}->{type}: Unknown token type";
          }
          $self->{state} = DATA_STATE;
          !!!next-input-character;
-         !!!emit ($self->{current_token}); # start tag or end tag
+         !!!emit ($self->{ct}); # start tag or end tag
          redo A;
-       } elsif (0x0041 <= $self->{next_char} and
+       } elsif (0x0041 <= $self->{nc} and
-                $self->{next_char} <= 0x005A) { # A..Z
+                $self->{nc} <= 0x005A) { # A..Z
          !!!cp (76);
-         $self->{current_attribute}
+         $self->{ca}
-             = {name => chr ($self->{next_char} + 0x0020),
+             = {name => chr ($self->{nc} + 0x0020),
                 value => '',
                 line => $self->{line}, column => $self->{column}};
          $self->{state} = ATTRIBUTE_NAME_STATE;
          !!!next-input-character;
          redo A;
-       } elsif ($self->{next_char} == 0x002F) { # /
+       } elsif ($self->{nc} == 0x002F) { # /
          !!!cp (77);
          $self->{state} = SELF_CLOSING_START_TAG_STATE;
          !!!next-input-character;
          redo A;
-       } elsif ($self->{next_char} == -1) {
+       } elsif ($self->{nc} == -1) {
          !!!parse-error (type => 'unclosed tag');
-         if ($self->{current_token}->{type} == START_TAG_TOKEN) {
+         if ($self->{ct}->{type} == START_TAG_TOKEN) {
            !!!cp (79);
-           $self->{last_emitted_start_tag_name} = $self->{current_token}->{tag_name};
+           $self->{last_stag_name} = $self->{ct}->{tag_name};
-         } elsif ($self->{current_token}->{type} == END_TAG_TOKEN) {
+         } elsif ($self->{ct}->{type} == END_TAG_TOKEN) {
            $self->{content_model} = PCDATA_CONTENT_MODEL; # MUST
-           if ($self->{current_token}->{attributes}) {
+           if ($self->{ct}->{attributes}) {
              !!!cp (80);
              !!!parse-error (type => 'end tag attribute');
            } else {
-Line 1219 
 sub _get_next_token ($) {
+Line 1716 
 sub _get_next_token ($) {
              !!!cp (81);
            }
          } else {
-           die "$0: $self->{current_token}->{type}: Unknown token type";
+           die "$0: $self->{ct}->{type}: Unknown token type";
          }
          $self->{state} = DATA_STATE;
          # reconsume
-         !!!emit ($self->{current_token}); # start tag or end tag
+         !!!emit ($self->{ct}); # start tag or end tag
          redo A;
        } else {
-         !!!cp (82);
+         if ($self->{nc} == 0x0022 or # "
-         $self->{current_attribute}
+             $self->{nc} == 0x0027) { # '
-             = {name => chr ($self->{next_char}),
+           !!!cp (78);
+           !!!parse-error (type => 'bad attribute name');
+         } else {
+           !!!cp (82);
+         }
+         $self->{ca}
+             = {name => chr ($self->{nc}),
                 value => '',
                 line => $self->{line}, column => $self->{column}};
          $self->{state} = ATTRIBUTE_NAME_STATE;
-Line 1238 
 sub _get_next_token ($) {
+Line 1741 
 sub _get_next_token ($) {
          redo A;
        }
      } elsif ($self->{state} == BEFORE_ATTRIBUTE_VALUE_STATE) {
-       if ($self->{next_char} == 0x0009 or # HT
+       if ($is_space->{$self->{nc}}) {
-           $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) { # "
+       } elsif ($self->{nc} == 0x0022) { # "
          !!!cp (84);
          $self->{state} = ATTRIBUTE_VALUE_DOUBLE_QUOTED_STATE;
          !!!next-input-character;
          redo A;
-       } elsif ($self->{next_char} == 0x0026) { # &
+       } elsif ($self->{nc} == 0x0026) { # &
          !!!cp (85);
          $self->{state} = ATTRIBUTE_VALUE_UNQUOTED_STATE;
          ## reconsume
          redo A;
-       } elsif ($self->{next_char} == 0x0027) { # '
+       } elsif ($self->{nc} == 0x0027) { # '
          !!!cp (86);
          $self->{state} = ATTRIBUTE_VALUE_SINGLE_QUOTED_STATE;
          !!!next-input-character;
          redo A;
-       } elsif ($self->{next_char} == 0x003E) { # >
+       } elsif ($self->{nc} == 0x003E) { # >
-         if ($self->{current_token}->{type} == START_TAG_TOKEN) {
+         !!!parse-error (type => 'empty unquoted attribute value');
+         if ($self->{ct}->{type} == START_TAG_TOKEN) {
            !!!cp (87);
-           $self->{last_emitted_start_tag_name} = $self->{current_token}->{tag_name};
+           $self->{last_stag_name} = $self->{ct}->{tag_name};
-         } elsif ($self->{current_token}->{type} == END_TAG_TOKEN) {
+         } elsif ($self->{ct}->{type} == END_TAG_TOKEN) {
            $self->{content_model} = PCDATA_CONTENT_MODEL; # MUST
-           if ($self->{current_token}->{attributes}) {
+           if ($self->{ct}->{attributes}) {
              !!!cp (88);
              !!!parse-error (type => 'end tag attribute');
            } else {
-Line 1276 
 sub _get_next_token ($) {
+Line 1776 
 sub _get_next_token ($) {
              !!!cp (89);
            }
          } else {
-           die "$0: $self->{current_token}->{type}: Unknown token type";
+           die "$0: $self->{ct}->{type}: Unknown token type";
          }
          $self->{state} = DATA_STATE;
          !!!next-input-character;
-         !!!emit ($self->{current_token}); # start tag or end tag
+         !!!emit ($self->{ct}); # start tag or end tag
          redo A;
-       } elsif ($self->{next_char} == -1) {
+       } elsif ($self->{nc} == -1) {
          !!!parse-error (type => 'unclosed tag');
-         if ($self->{current_token}->{type} == START_TAG_TOKEN) {
+         if ($self->{ct}->{type} == START_TAG_TOKEN) {
            !!!cp (90);
-           $self->{last_emitted_start_tag_name} = $self->{current_token}->{tag_name};
+           $self->{last_stag_name} = $self->{ct}->{tag_name};
-         } elsif ($self->{current_token}->{type} == END_TAG_TOKEN) {
+         } elsif ($self->{ct}->{type} == END_TAG_TOKEN) {
            $self->{content_model} = PCDATA_CONTENT_MODEL; # MUST
-           if ($self->{current_token}->{attributes}) {
+           if ($self->{ct}->{attributes}) {
              !!!cp (91);
              !!!parse-error (type => 'end tag attribute');
            } else {
-Line 1299 
 sub _get_next_token ($) {
+Line 1799 
 sub _get_next_token ($) {
              !!!cp (92);
            }
          } else {
-           die "$0: $self->{current_token}->{type}: Unknown token type";
+           die "$0: $self->{ct}->{type}: Unknown token type";
          }
          $self->{state} = DATA_STATE;
          ## reconsume
-         !!!emit ($self->{current_token}); # start tag or end tag
+         !!!emit ($self->{ct}); # start tag or end tag
          redo A;
        } else {
-         if ($self->{next_char} == 0x003D) { # =
+         if ($self->{nc} == 0x003D) { # =
            !!!cp (93);
            !!!parse-error (type => 'bad attribute value');
          } else {
            !!!cp (94);
          }
-         $self->{current_attribute}->{value} .= chr ($self->{next_char});
+         $self->{ca}->{value} .= chr ($self->{nc});
          $self->{state} = ATTRIBUTE_VALUE_UNQUOTED_STATE;
          !!!next-input-character;
          redo A;
        }
      } elsif ($self->{state} == ATTRIBUTE_VALUE_DOUBLE_QUOTED_STATE) {
-       if ($self->{next_char} == 0x0022) { # "
+       if ($self->{nc} == 0x0022) { # "
          !!!cp (95);
          $self->{state} = AFTER_ATTRIBUTE_VALUE_QUOTED_STATE;
          !!!next-input-character;
          redo A;
-       } elsif ($self->{next_char} == 0x0026) { # &
+       } elsif ($self->{nc} == 0x0026) { # &
          !!!cp (96);
-         $self->{last_attribute_value_state} = $self->{state};
+         ## NOTE: In the spec, the tokenizer is switched to the
-         $self->{state} = ENTITY_IN_ATTRIBUTE_VALUE_STATE;
+         ## "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_add} = 0x0022; # "
+         $self->{state} = ENTITY_STATE;
          !!!next-input-character;
          redo A;
-       } elsif ($self->{next_char} == -1) {
+       } elsif ($self->{nc} == -1) {
          !!!parse-error (type => 'unclosed attribute value');
-         if ($self->{current_token}->{type} == START_TAG_TOKEN) {
+         if ($self->{ct}->{type} == START_TAG_TOKEN) {
            !!!cp (97);
-           $self->{last_emitted_start_tag_name} = $self->{current_token}->{tag_name};
+           $self->{last_stag_name} = $self->{ct}->{tag_name};
-         } elsif ($self->{current_token}->{type} == END_TAG_TOKEN) {
+         } elsif ($self->{ct}->{type} == END_TAG_TOKEN) {
            $self->{content_model} = PCDATA_CONTENT_MODEL; # MUST
-           if ($self->{current_token}->{attributes}) {
+           if ($self->{ct}->{attributes}) {
              !!!cp (98);
              !!!parse-error (type => 'end tag attribute');
            } else {
-Line 1346 
 sub _get_next_token ($) {
+Line 1851 
 sub _get_next_token ($) {
              !!!cp (99);
            }
          } else {
-           die "$0: $self->{current_token}->{type}: Unknown token type";
+           die "$0: $self->{ct}->{type}: Unknown token type";
          }
          $self->{state} = DATA_STATE;
          ## reconsume
-         !!!emit ($self->{current_token}); # start tag or end tag
+         !!!emit ($self->{ct}); # start tag or end tag
          redo A;
        } else {
          !!!cp (100);
-         $self->{current_attribute}->{value} .= chr ($self->{next_char});
+         $self->{ca}->{value} .= chr ($self->{nc});
+         $self->{read_until}->($self->{ca}->{value},
+                               q["&],
+                               length $self->{ca}->{value});
          ## Stay in the state
          !!!next-input-character;
          redo A;
        }
      } elsif ($self->{state} == ATTRIBUTE_VALUE_SINGLE_QUOTED_STATE) {
-       if ($self->{next_char} == 0x0027) { # '
+       if ($self->{nc} == 0x0027) { # '
          !!!cp (101);
          $self->{state} = AFTER_ATTRIBUTE_VALUE_QUOTED_STATE;
          !!!next-input-character;
          redo A;
-       } elsif ($self->{next_char} == 0x0026) { # &
+       } elsif ($self->{nc} == 0x0026) { # &
          !!!cp (102);
-         $self->{last_attribute_value_state} = $self->{state};
+         ## NOTE: In the spec, the tokenizer is switched to the
-         $self->{state} = ENTITY_IN_ATTRIBUTE_VALUE_STATE;
+         ## "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_add} = 0x0027; # '
+         $self->{prev_state} = $self->{state};
+         $self->{state} = ENTITY_STATE;
          !!!next-input-character;
          redo A;
-       } elsif ($self->{next_char} == -1) {
+       } elsif ($self->{nc} == -1) {
          !!!parse-error (type => 'unclosed attribute value');
-         if ($self->{current_token}->{type} == START_TAG_TOKEN) {
+         if ($self->{ct}->{type} == START_TAG_TOKEN) {
            !!!cp (103);
-           $self->{last_emitted_start_tag_name} = $self->{current_token}->{tag_name};
+           $self->{last_stag_name} = $self->{ct}->{tag_name};
-         } elsif ($self->{current_token}->{type} == END_TAG_TOKEN) {
+         } elsif ($self->{ct}->{type} == END_TAG_TOKEN) {
            $self->{content_model} = PCDATA_CONTENT_MODEL; # MUST
-           if ($self->{current_token}->{attributes}) {
+           if ($self->{ct}->{attributes}) {
              !!!cp (104);
              !!!parse-error (type => 'end tag attribute');
            } else {
-Line 1388 
 sub _get_next_token ($) {
+Line 1902 
 sub _get_next_token ($) {
              !!!cp (105);
            }
          } else {
-           die "$0: $self->{current_token}->{type}: Unknown token type";
+           die "$0: $self->{ct}->{type}: Unknown token type";
          }
          $self->{state} = DATA_STATE;
          ## reconsume
-         !!!emit ($self->{current_token}); # start tag or end tag
+         !!!emit ($self->{ct}); # start tag or end tag
          redo A;
        } else {
          !!!cp (106);
-         $self->{current_attribute}->{value} .= chr ($self->{next_char});
+         $self->{ca}->{value} .= chr ($self->{nc});
+         $self->{read_until}->($self->{ca}->{value},
+                               q['&],
+                               length $self->{ca}->{value});
          ## Stay in the state
          !!!next-input-character;
          redo A;
        }
      } elsif ($self->{state} == ATTRIBUTE_VALUE_UNQUOTED_STATE) {
-       if ($self->{next_char} == 0x0009 or # HT
+       if ($is_space->{$self->{nc}}) {
-           $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) { # &
+       } elsif ($self->{nc} == 0x0026) { # &
          !!!cp (108);
-         $self->{last_attribute_value_state} = $self->{state};
+         ## NOTE: In the spec, the tokenizer is switched to the
-         $self->{state} = ENTITY_IN_ATTRIBUTE_VALUE_STATE;
+         ## "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_add} = -1;
+         $self->{prev_state} = $self->{state};
+         $self->{state} = ENTITY_STATE;
          !!!next-input-character;
          redo A;
-       } elsif ($self->{next_char} == 0x003E) { # >
+       } elsif ($self->{nc} == 0x003E) { # >
-         if ($self->{current_token}->{type} == START_TAG_TOKEN) {
+         if ($self->{ct}->{type} == START_TAG_TOKEN) {
            !!!cp (109);
-           $self->{last_emitted_start_tag_name} = $self->{current_token}->{tag_name};
+           $self->{last_stag_name} = $self->{ct}->{tag_name};
-         } elsif ($self->{current_token}->{type} == END_TAG_TOKEN) {
+         } elsif ($self->{ct}->{type} == END_TAG_TOKEN) {
            $self->{content_model} = PCDATA_CONTENT_MODEL; # MUST
-           if ($self->{current_token}->{attributes}) {
+           if ($self->{ct}->{attributes}) {
              !!!cp (110);
              !!!parse-error (type => 'end tag attribute');
            } else {
-Line 1433 
 sub _get_next_token ($) {
+Line 1952 
 sub _get_next_token ($) {
              !!!cp (111);
            }
          } else {
-           die "$0: $self->{current_token}->{type}: Unknown token type";
+           die "$0: $self->{ct}->{type}: Unknown token type";
          }
          $self->{state} = DATA_STATE;
          !!!next-input-character;
-         !!!emit ($self->{current_token}); # start tag or end tag
+         !!!emit ($self->{ct}); # start tag or end tag
          redo A;
-       } elsif ($self->{next_char} == -1) {
+       } elsif ($self->{nc} == -1) {
          !!!parse-error (type => 'unclosed tag');
-         if ($self->{current_token}->{type} == START_TAG_TOKEN) {
+         if ($self->{ct}->{type} == START_TAG_TOKEN) {
            !!!cp (112);
-           $self->{last_emitted_start_tag_name} = $self->{current_token}->{tag_name};
+           $self->{last_stag_name} = $self->{ct}->{tag_name};
-         } elsif ($self->{current_token}->{type} == END_TAG_TOKEN) {
+         } elsif ($self->{ct}->{type} == END_TAG_TOKEN) {
            $self->{content_model} = PCDATA_CONTENT_MODEL; # MUST
-           if ($self->{current_token}->{attributes}) {
+           if ($self->{ct}->{attributes}) {
              !!!cp (113);
              !!!parse-error (type => 'end tag attribute');
            } else {
-Line 1456 
 sub _get_next_token ($) {
+Line 1975 
 sub _get_next_token ($) {
              !!!cp (114);
            }
          } else {
-           die "$0: $self->{current_token}->{type}: Unknown token type";
+           die "$0: $self->{ct}->{type}: Unknown token type";
          }
          $self->{state} = DATA_STATE;
          ## reconsume
-         !!!emit ($self->{current_token}); # start tag or end tag
+         !!!emit ($self->{ct}); # start tag or end tag
          redo A;
        } else {
-Line 1469 
 sub _get_next_token ($) {
+Line 1988 
 sub _get_next_token ($) {
 x0022 => 1, # "
 x0027 => 1, # '
 x003D => 1, # =
-             }->{$self->{next_char}}) {
+             }->{$self->{nc}}) {
            !!!cp (115);
            !!!parse-error (type => 'bad attribute value');
          } else {
            !!!cp (116);
          }
-         $self->{current_attribute}->{value} .= chr ($self->{next_char});
+         $self->{ca}->{value} .= chr ($self->{nc});
+         $self->{read_until}->($self->{ca}->{value},
+                               q["'=& >],
+                               length $self->{ca}->{value});
          ## Stay in the state
          !!!next-input-character;
          redo A;
        }
-     } elsif ($self->{state} == ENTITY_IN_ATTRIBUTE_VALUE_STATE) {
-       my $token = $self->_tokenize_attempt_to_consume_an_entity
-           (1,
-            $self->{last_attribute_value_state}
-              == ATTRIBUTE_VALUE_DOUBLE_QUOTED_STATE ? 0x0022 : # "
-            $self->{last_attribute_value_state}
-              == ATTRIBUTE_VALUE_SINGLE_QUOTED_STATE ? 0x0027 : # '
-            -1);
-       unless (defined $token) {
-         !!!cp (117);
-         $self->{current_attribute}->{value} .= '&';
-       } else {
-         !!!cp (118);
-         $self->{current_attribute}->{value} .= $token->{data};
-         $self->{current_attribute}->{has_reference} = $token->{has_reference};
-         ## ISSUE: spec says "append the returned character token to the current attribute's value"
-       }
-       $self->{state} = $self->{last_attribute_value_state};
-       # next-input-character is already done
-       redo A;
      } elsif ($self->{state} == AFTER_ATTRIBUTE_VALUE_QUOTED_STATE) {
-       if ($self->{next_char} == 0x0009 or # HT
+       if ($is_space->{$self->{nc}}) {
-           $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) { # >
+       } elsif ($self->{nc} == 0x003E) { # >
-         if ($self->{current_token}->{type} == START_TAG_TOKEN) {
+         if ($self->{ct}->{type} == START_TAG_TOKEN) {
            !!!cp (119);
-           $self->{last_emitted_start_tag_name} = $self->{current_token}->{tag_name};
+           $self->{last_stag_name} = $self->{ct}->{tag_name};
-         } elsif ($self->{current_token}->{type} == END_TAG_TOKEN) {
+         } elsif ($self->{ct}->{type} == END_TAG_TOKEN) {
            $self->{content_model} = PCDATA_CONTENT_MODEL; # MUST
-           if ($self->{current_token}->{attributes}) {
+           if ($self->{ct}->{attributes}) {
              !!!cp (120);
              !!!parse-error (type => 'end tag attribute');
            } else {
-Line 1526 
 sub _get_next_token ($) {
+Line 2023 
 sub _get_next_token ($) {
              !!!cp (121);
            }
          } else {
-           die "$0: $self->{current_token}->{type}: Unknown token type";
+           die "$0: $self->{ct}->{type}: Unknown token type";
          }
          $self->{state} = DATA_STATE;
          !!!next-input-character;
-         !!!emit ($self->{current_token}); # start tag or end tag
+         !!!emit ($self->{ct}); # start tag or end tag
          redo A;
-       } elsif ($self->{next_char} == 0x002F) { # /
+       } elsif ($self->{nc} == 0x002F) { # /
          !!!cp (122);
          $self->{state} = SELF_CLOSING_START_TAG_STATE;
          !!!next-input-character;
          redo A;
+       } elsif ($self->{nc} == -1) {
+         !!!parse-error (type => 'unclosed tag');
+         if ($self->{ct}->{type} == START_TAG_TOKEN) {
+           !!!cp (122.3);
+           $self->{last_stag_name} = $self->{ct}->{tag_name};
+         } elsif ($self->{ct}->{type} == END_TAG_TOKEN) {
+           if ($self->{ct}->{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->{ct}->{type}: Unknown token type";
+         }
+         $self->{state} = DATA_STATE;
+         ## Reconsume.
+         !!!emit ($self->{ct}); # start tag or end tag
+         redo A;
        } else {
          !!!cp ('124.1');
          !!!parse-error (type => 'no space between attributes');
-Line 1547 
 sub _get_next_token ($) {
+Line 2064 
 sub _get_next_token ($) {
          redo A;
        }
      } elsif ($self->{state} == SELF_CLOSING_START_TAG_STATE) {
-       if ($self->{next_char} == 0x003E) { # >
+       if ($self->{nc} == 0x003E) { # >
-         if ($self->{current_token}->{type} == END_TAG_TOKEN) {
+         if ($self->{ct}->{type} == END_TAG_TOKEN) {
            !!!cp ('124.2');
-           !!!parse-error (type => 'nestc', token => $self->{current_token});
+           !!!parse-error (type => 'nestc', token => $self->{ct});
            ## TODO: Different type than slash in start tag
            $self->{content_model} = PCDATA_CONTENT_MODEL; # MUST
-           if ($self->{current_token}->{attributes}) {
+           if ($self->{ct}->{attributes}) {
              !!!cp ('124.4');
              !!!parse-error (type => 'end tag attribute');
            } else {
-Line 1568 
 sub _get_next_token ($) {
+Line 2085 
 sub _get_next_token ($) {
          $self->{state} = DATA_STATE;
          !!!next-input-character;
-         !!!emit ($self->{current_token}); # start tag or end tag
+         !!!emit ($self->{ct}); # start tag or end tag
          redo A;
+       } elsif ($self->{nc} == -1) {
+         !!!parse-error (type => 'unclosed tag');
+         if ($self->{ct}->{type} == START_TAG_TOKEN) {
+           !!!cp (124.7);
+           $self->{last_stag_name} = $self->{ct}->{tag_name};
+         } elsif ($self->{ct}->{type} == END_TAG_TOKEN) {
+           if ($self->{ct}->{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->{ct}->{type}: Unknown token type";
+         }
+         $self->{state} = DATA_STATE;
+         ## Reconsume.
+         !!!emit ($self->{ct}); # start tag or end tag
+         redo A;
        } else {
          !!!cp ('124.4');
          !!!parse-error (type => 'nestc');
-Line 1581 
 sub _get_next_token ($) {
+Line 2118 
 sub _get_next_token ($) {
        }
      } elsif ($self->{state} == BOGUS_COMMENT_STATE) {
        ## (only happen if PCDATA state)
-       ## NOTE: Set by the previous state
-       #my $token = {type => COMMENT_TOKEN, data => ''};
-       BC: {
-         if ($self->{next_char} == 0x003E) { # >
-           !!!cp (124);
-           $self->{state} = DATA_STATE;
-           !!!next-input-character;
-           !!!emit ($self->{current_token}); # comment
+       ## NOTE: Unlike spec's "bogus comment state", this implementation
+       ## consumes characters one-by-one basis.
-           redo A;
-         } elsif ($self->{next_char} == -1) {
+       if ($self->{nc} == 0x003E) { # >
-           !!!cp (125);
+         !!!cp (124);
-           $self->{state} = DATA_STATE;
+         $self->{state} = DATA_STATE;
-           ## reconsume
+         !!!next-input-character;
-           !!!emit ($self->{current_token}); # comment
+         !!!emit ($self->{ct}); # comment
+         redo A;
+       } elsif ($self->{nc} == -1) {
+         !!!cp (125);
+         $self->{state} = DATA_STATE;
+         ## reconsume
-           redo A;
+         !!!emit ($self->{ct}); # comment
-         } else {
+         redo A;
-           !!!cp (126);
+       } else {
-           $self->{current_token}->{data} .= chr ($self->{next_char}); # comment
+         !!!cp (126);
-           !!!next-input-character;
+         $self->{ct}->{data} .= chr ($self->{nc}); # comment
-           redo BC;
+         $self->{read_until}->($self->{ct}->{data},
-         }
+                               q[>],
-       } # BC
+                               length $self->{ct}->{data});
-       die "$0: _get_next_token: unexpected case [BC]";
+         ## Stay in the state.
+         !!!next-input-character;
+         redo A;
+       }
      } elsif ($self->{state} == MARKUP_DECLARATION_OPEN_STATE) {
        ## (only happen if PCDATA state)
-       my ($l, $c) = ($self->{line_prev}, $self->{column_prev} - 1);
-       my @next_char;
-       push @next_char, $self->{next_char};
-       if ($self->{next_char} == 0x002D) { # -
+       if ($self->{nc} == 0x002D) { # -
+         !!!cp (133);
+         $self->{state} = MD_HYPHEN_STATE;
          !!!next-input-character;
-         push @next_char, $self->{next_char};
+         redo A;
-         if ($self->{next_char} == 0x002D) { # -
+       } elsif ($self->{nc} == 0x0044 or # D
-           !!!cp (127);
+                $self->{nc} == 0x0064) { # d
-           $self->{current_token} = {type => COMMENT_TOKEN, data => '',
+         ## ASCII case-insensitive.
-                                     line => $l, column => $c,
+         !!!cp (130);
-                                    };
+         $self->{state} = MD_DOCTYPE_STATE;
-           $self->{state} = COMMENT_START_STATE;
+         $self->{s_kwd} = chr $self->{nc};
-           !!!next-input-character;
-           redo A;
-         } else {
-           !!!cp (128);
-         }
-       } elsif ($self->{next_char} == 0x0044 or # D
-                $self->{next_char} == 0x0064) { # d
          !!!next-input-character;
-         push @next_char, $self->{next_char};
+         redo A;
-         if ($self->{next_char} == 0x004F or # O
-             $self->{next_char} == 0x006F) { # o
-           !!!next-input-character;
-           push @next_char, $self->{next_char};
-           if ($self->{next_char} == 0x0043 or # C
-               $self->{next_char} == 0x0063) { # c
-             !!!next-input-character;
-             push @next_char, $self->{next_char};
-             if ($self->{next_char} == 0x0054 or # T
-                 $self->{next_char} == 0x0074) { # t
-               !!!next-input-character;
-               push @next_char, $self->{next_char};
-               if ($self->{next_char} == 0x0059 or # Y
-                   $self->{next_char} == 0x0079) { # y
-                 !!!next-input-character;
-                 push @next_char, $self->{next_char};
-                 if ($self->{next_char} == 0x0050 or # P
-                     $self->{next_char} == 0x0070) { # p
-                   !!!next-input-character;
-                   push @next_char, $self->{next_char};
-                   if ($self->{next_char} == 0x0045 or # E
-                       $self->{next_char} == 0x0065) { # e
-                     !!!cp (129);
-                     ## TODO: What a stupid code this is!
-                     $self->{state} = DOCTYPE_STATE;
-                     $self->{current_token} = {type => DOCTYPE_TOKEN,
-                                               quirks => 1,
-                                               line => $l, column => $c,
-                                              };
-                     !!!next-input-character;
-                     redo A;
-                   } else {
-                     !!!cp (130);
-                   }
-                 } else {
-                   !!!cp (131);
-                 }
-               } else {
-                 !!!cp (132);
-               }
-             } else {
-               !!!cp (133);
-             }
-           } else {
-             !!!cp (134);
-           }
-         } else {
-           !!!cp (135);
-         }
        } elsif ($self->{insertion_mode} & IN_FOREIGN_CONTENT_IM and
                 $self->{open_elements}->[-1]->[1] & FOREIGN_EL and
-                $self->{next_char} == 0x005B) { # [
+                $self->{nc} == 0x005B) { # [
+         !!!cp (135.4);
+         $self->{state} = MD_CDATA_STATE;
+         $self->{s_kwd} = '[';
          !!!next-input-character;
-         push @next_char, $self->{next_char};
+         redo A;
-         if ($self->{next_char} == 0x0043) { # C
-           !!!next-input-character;
-           push @next_char, $self->{next_char};
-           if ($self->{next_char} == 0x0044) { # D
-             !!!next-input-character;
-             push @next_char, $self->{next_char};
-             if ($self->{next_char} == 0x0041) { # A
-               !!!next-input-character;
-               push @next_char, $self->{next_char};
-               if ($self->{next_char} == 0x0054) { # T
-                 !!!next-input-character;
-                 push @next_char, $self->{next_char};
-                 if ($self->{next_char} == 0x0041) { # A
-                   !!!next-input-character;
-                   push @next_char, $self->{next_char};
-                   if ($self->{next_char} == 0x005B) { # [
-                     !!!cp (135.1);
-                     $self->{state} = CDATA_BLOCK_STATE;
-                     !!!next-input-character;
-                     redo A;
-                   } else {
-                     !!!cp (135.2);
-                   }
-                 } else {
-                   !!!cp (135.3);
-                 }
-               } else {
-                 !!!cp (135.4);
-               }
-             } else {
-               !!!cp (135.5);
-             }
-           } else {
-             !!!cp (135.6);
-           }
-         } else {
-           !!!cp (135.7);
-         }
        } else {
          !!!cp (136);
        }
-       !!!parse-error (type => 'bogus comment');
+       !!!parse-error (type => 'bogus comment',
-       $self->{next_char} = shift @next_char;
+                       line => $self->{line_prev},
-       !!!back-next-input-character (@next_char);
+                       column => $self->{column_prev} - 1);
+       ## Reconsume.
        $self->{state} = BOGUS_COMMENT_STATE;
-       $self->{current_token} = {type => COMMENT_TOKEN, data => '',
+       $self->{ct} = {type => COMMENT_TOKEN, data => '',
-                                 line => $l, column => $c,
+                                 line => $self->{line_prev},
+                                 column => $self->{column_prev} - 1,
                                 };
        redo A;
+     } elsif ($self->{state} == MD_HYPHEN_STATE) {
-       ## ISSUE: typos in spec: chacacters, is is a parse error
+       if ($self->{nc} == 0x002D) { # -
-       ## ISSUE: spec is somewhat unclear on "is the first character that will be in the comment"; what is "that will be in the comment" is what the algorithm defines, isn't it?
+         !!!cp (127);
+         $self->{ct} = {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->{ct} = {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->{nc} == [
+             undef,
+x004F, # O
+x0043, # C
+x0054, # T
+x0059, # Y
+x0050, # P
+           ]->[length $self->{s_kwd}] or
+           $self->{nc} == [
+             undef,
+x006F, # o
+x0063, # c
+x0074, # t
+x0079, # y
+x0070, # p
+           ]->[length $self->{s_kwd}]) {
+         !!!cp (131);
+         ## Stay in the state.
+         $self->{s_kwd} .= chr $self->{nc};
+         !!!next-input-character;
+         redo A;
+       } elsif ((length $self->{s_kwd}) == 6 and
+                ($self->{nc} == 0x0045 or # E
+                 $self->{nc} == 0x0065)) { # e
+         !!!cp (129);
+         $self->{state} = DOCTYPE_STATE;
+         $self->{ct} = {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->{s_kwd});
+         $self->{state} = BOGUS_COMMENT_STATE;
+         ## Reconsume.
+         $self->{ct} = {type => COMMENT_TOKEN,
+                                   data => $self->{s_kwd},
+                                   line => $self->{line_prev},
+                                   column => $self->{column_prev} - 1 - length $self->{s_kwd},
+                                  };
+         redo A;
+       }
+     } elsif ($self->{state} == MD_CDATA_STATE) {
+       if ($self->{nc} == {
+             '[' => 0x0043, # C
+             '[C' => 0x0044, # D
+             '[CD' => 0x0041, # A
+             '[CDA' => 0x0054, # T
+             '[CDAT' => 0x0041, # A
+           }->{$self->{s_kwd}}) {
+         !!!cp (135.1);
+         ## Stay in the state.
+         $self->{s_kwd} .= chr $self->{nc};
+         !!!next-input-character;
+         redo A;
+       } elsif ($self->{s_kwd} eq '[CDATA' and
+                $self->{nc} == 0x005B) { # [
+         !!!cp (135.2);
+         $self->{ct} = {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->{s_kwd});
+         $self->{state} = BOGUS_COMMENT_STATE;
+         ## Reconsume.
+         $self->{ct} = {type => COMMENT_TOKEN,
+                                   data => $self->{s_kwd},
+                                   line => $self->{line_prev},
+                                   column => $self->{column_prev} - 1 - length $self->{s_kwd},
+                                  };
+         redo A;
+       }
      } elsif ($self->{state} == COMMENT_START_STATE) {
-       if ($self->{next_char} == 0x002D) { # -
+       if ($self->{nc} == 0x002D) { # -
          !!!cp (137);
          $self->{state} = COMMENT_START_DASH_STATE;
          !!!next-input-character;
          redo A;
-       } elsif ($self->{next_char} == 0x003E) { # >
+       } elsif ($self->{nc} == 0x003E) { # >
          !!!cp (138);
          !!!parse-error (type => 'bogus comment');
          $self->{state} = DATA_STATE;
          !!!next-input-character;
-         !!!emit ($self->{current_token}); # comment
+         !!!emit ($self->{ct}); # comment
          redo A;
-       } elsif ($self->{next_char} == -1) {
+       } elsif ($self->{nc} == -1) {
          !!!cp (139);
          !!!parse-error (type => 'unclosed comment');
          $self->{state} = DATA_STATE;
          ## reconsume
-         !!!emit ($self->{current_token}); # comment
+         !!!emit ($self->{ct}); # comment
          redo A;
        } else {
          !!!cp (140);
-         $self->{current_token}->{data} # comment
+         $self->{ct}->{data} # comment
-             .= chr ($self->{next_char});
+             .= chr ($self->{nc});
          $self->{state} = COMMENT_STATE;
          !!!next-input-character;
          redo A;
        }
      } elsif ($self->{state} == COMMENT_START_DASH_STATE) {
-       if ($self->{next_char} == 0x002D) { # -
+       if ($self->{nc} == 0x002D) { # -
          !!!cp (141);
          $self->{state} = COMMENT_END_STATE;
          !!!next-input-character;
          redo A;
-       } elsif ($self->{next_char} == 0x003E) { # >
+       } elsif ($self->{nc} == 0x003E) { # >
          !!!cp (142);
          !!!parse-error (type => 'bogus comment');
          $self->{state} = DATA_STATE;
          !!!next-input-character;
-         !!!emit ($self->{current_token}); # comment
+         !!!emit ($self->{ct}); # comment
          redo A;
-       } elsif ($self->{next_char} == -1) {
+       } elsif ($self->{nc} == -1) {
          !!!cp (143);
          !!!parse-error (type => 'unclosed comment');
          $self->{state} = DATA_STATE;
          ## reconsume
-         !!!emit ($self->{current_token}); # comment
+         !!!emit ($self->{ct}); # comment
          redo A;
        } else {
          !!!cp (144);
-         $self->{current_token}->{data} # comment
+         $self->{ct}->{data} # comment
-             .= '-' . chr ($self->{next_char});
+             .= '-' . chr ($self->{nc});
          $self->{state} = COMMENT_STATE;
          !!!next-input-character;
          redo A;
        }
      } elsif ($self->{state} == COMMENT_STATE) {
-       if ($self->{next_char} == 0x002D) { # -
+       if ($self->{nc} == 0x002D) { # -
          !!!cp (145);
          $self->{state} = COMMENT_END_DASH_STATE;
          !!!next-input-character;
          redo A;
-       } elsif ($self->{next_char} == -1) {
+       } elsif ($self->{nc} == -1) {
          !!!cp (146);
          !!!parse-error (type => 'unclosed comment');
          $self->{state} = DATA_STATE;
          ## reconsume
-         !!!emit ($self->{current_token}); # comment
+         !!!emit ($self->{ct}); # comment
          redo A;
        } else {
          !!!cp (147);
-         $self->{current_token}->{data} .= chr ($self->{next_char}); # comment
+         $self->{ct}->{data} .= chr ($self->{nc}); # comment
+         $self->{read_until}->($self->{ct}->{data},
+                               q[-],
+                               length $self->{ct}->{data});
          ## Stay in the state
          !!!next-input-character;
          redo A;
        }
      } elsif ($self->{state} == COMMENT_END_DASH_STATE) {
-       if ($self->{next_char} == 0x002D) { # -
+       if ($self->{nc} == 0x002D) { # -
          !!!cp (148);
          $self->{state} = COMMENT_END_STATE;
          !!!next-input-character;
          redo A;
-       } elsif ($self->{next_char} == -1) {
+       } elsif ($self->{nc} == -1) {
          !!!cp (149);
          !!!parse-error (type => 'unclosed comment');
          $self->{state} = DATA_STATE;
          ## reconsume
-         !!!emit ($self->{current_token}); # comment
+         !!!emit ($self->{ct}); # comment
          redo A;
        } else {
          !!!cp (150);
-         $self->{current_token}->{data} .= '-' . chr ($self->{next_char}); # comment
+         $self->{ct}->{data} .= '-' . chr ($self->{nc}); # comment
          $self->{state} = COMMENT_STATE;
          !!!next-input-character;
          redo A;
        }
      } elsif ($self->{state} == COMMENT_END_STATE) {
-       if ($self->{next_char} == 0x003E) { # >
+       if ($self->{nc} == 0x003E) { # >
          !!!cp (151);
          $self->{state} = DATA_STATE;
          !!!next-input-character;
-         !!!emit ($self->{current_token}); # comment
+         !!!emit ($self->{ct}); # comment
          redo A;
-       } elsif ($self->{next_char} == 0x002D) { # -
+       } elsif ($self->{nc} == 0x002D) { # -
          !!!cp (152);
          !!!parse-error (type => 'dash in comment',
                          line => $self->{line_prev},
                          column => $self->{column_prev});
-         $self->{current_token}->{data} .= '-'; # comment
+         $self->{ct}->{data} .= '-'; # comment
          ## Stay in the state
          !!!next-input-character;
          redo A;
-       } elsif ($self->{next_char} == -1) {
+       } elsif ($self->{nc} == -1) {
          !!!cp (153);
          !!!parse-error (type => 'unclosed comment');
          $self->{state} = DATA_STATE;
          ## reconsume
-         !!!emit ($self->{current_token}); # comment
+         !!!emit ($self->{ct}); # comment
          redo A;
        } else {
-Line 1884 
 sub _get_next_token ($) {
+Line 2439 
 sub _get_next_token ($) {
          !!!parse-error (type => 'dash in comment',
                          line => $self->{line_prev},
                          column => $self->{column_prev});
-         $self->{current_token}->{data} .= '--' . chr ($self->{next_char}); # comment
+         $self->{ct}->{data} .= '--' . chr ($self->{nc}); # comment
          $self->{state} = COMMENT_STATE;
          !!!next-input-character;
          redo A;
        }
      } elsif ($self->{state} == DOCTYPE_STATE) {
-       if ($self->{next_char} == 0x0009 or # HT
+       if ($is_space->{$self->{nc}}) {
-           $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;
-Line 1907 
 sub _get_next_token ($) {
+Line 2458 
 sub _get_next_token ($) {
          redo A;
        }
      } elsif ($self->{state} == BEFORE_DOCTYPE_NAME_STATE) {
-       if ($self->{next_char} == 0x0009 or # HT
+       if ($is_space->{$self->{nc}}) {
-           $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) { # >
+       } elsif ($self->{nc} == 0x003E) { # >
          !!!cp (158);
          !!!parse-error (type => 'no DOCTYPE name');
          $self->{state} = DATA_STATE;
          !!!next-input-character;
-         !!!emit ($self->{current_token}); # DOCTYPE (quirks)
+         !!!emit ($self->{ct}); # DOCTYPE (quirks)
          redo A;
-       } elsif ($self->{next_char} == -1) {
+       } elsif ($self->{nc} == -1) {
          !!!cp (159);
          !!!parse-error (type => 'no DOCTYPE name');
          $self->{state} = DATA_STATE;
          ## reconsume
-         !!!emit ($self->{current_token}); # DOCTYPE (quirks)
+         !!!emit ($self->{ct}); # DOCTYPE (quirks)
          redo A;
        } else {
          !!!cp (160);
-         $self->{current_token}->{name} = chr $self->{next_char};
+         $self->{ct}->{name} = chr $self->{nc};
-         delete $self->{current_token}->{quirks};
+         delete $self->{ct}->{quirks};
  ## ISSUE: "Set the token's name name to the" in the spec
          $self->{state} = DOCTYPE_NAME_STATE;
          !!!next-input-character;
-Line 1945 
 sub _get_next_token ($) {
+Line 2492 
 sub _get_next_token ($) {
        }
      } elsif ($self->{state} == DOCTYPE_NAME_STATE) {
  ## ISSUE: Redundant "First," in the spec.
-       if ($self->{next_char} == 0x0009 or # HT
+       if ($is_space->{$self->{nc}}) {
-           $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) { # >
+       } elsif ($self->{nc} == 0x003E) { # >
          !!!cp (162);
          $self->{state} = DATA_STATE;
          !!!next-input-character;
-         !!!emit ($self->{current_token}); # DOCTYPE
+         !!!emit ($self->{ct}); # DOCTYPE
          redo A;
-       } elsif ($self->{next_char} == -1) {
+       } elsif ($self->{nc} == -1) {
          !!!cp (163);
          !!!parse-error (type => 'unclosed DOCTYPE');
          $self->{state} = DATA_STATE;
          ## reconsume
-         $self->{current_token}->{quirks} = 1;
+         $self->{ct}->{quirks} = 1;
-         !!!emit ($self->{current_token}); # DOCTYPE
+         !!!emit ($self->{ct}); # DOCTYPE
          redo A;
        } else {
          !!!cp (164);
-         $self->{current_token}->{name}
+         $self->{ct}->{name}
-           .= chr ($self->{next_char}); # DOCTYPE
+           .= chr ($self->{nc}); # DOCTYPE
          ## Stay in the state
          !!!next-input-character;
          redo A;
        }
      } elsif ($self->{state} == AFTER_DOCTYPE_NAME_STATE) {
-       if ($self->{next_char} == 0x0009 or # HT
+       if ($is_space->{$self->{nc}}) {
-           $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) { # >
+       } elsif ($self->{nc} == 0x003E) { # >
          !!!cp (166);
          $self->{state} = DATA_STATE;
          !!!next-input-character;
-         !!!emit ($self->{current_token}); # DOCTYPE
+         !!!emit ($self->{ct}); # DOCTYPE
          redo A;
-       } elsif ($self->{next_char} == -1) {
+       } elsif ($self->{nc} == -1) {
          !!!cp (167);
          !!!parse-error (type => 'unclosed DOCTYPE');
          $self->{state} = DATA_STATE;
          ## reconsume
-         $self->{current_token}->{quirks} = 1;
+         $self->{ct}->{quirks} = 1;
-         !!!emit ($self->{current_token}); # DOCTYPE
+         !!!emit ($self->{ct}); # DOCTYPE
          redo A;
-       } elsif ($self->{next_char} == 0x0050 or # P
+       } elsif ($self->{nc} == 0x0050 or # P
-                $self->{next_char} == 0x0070) { # p
+                $self->{nc} == 0x0070) { # p
+         $self->{state} = PUBLIC_STATE;
+         $self->{s_kwd} = chr $self->{nc};
          !!!next-input-character;
-         if ($self->{next_char} == 0x0055 or # U
+         redo A;
-             $self->{next_char} == 0x0075) { # u
+       } elsif ($self->{nc} == 0x0053 or # S
-           !!!next-input-character;
+                $self->{nc} == 0x0073) { # s
-           if ($self->{next_char} == 0x0042 or # B
+         $self->{state} = SYSTEM_STATE;
-               $self->{next_char} == 0x0062) { # b
+         $self->{s_kwd} = chr $self->{nc};
-             !!!next-input-character;
-             if ($self->{next_char} == 0x004C or # L
-                 $self->{next_char} == 0x006C) { # l
-               !!!next-input-character;
-               if ($self->{next_char} == 0x0049 or # I
-                   $self->{next_char} == 0x0069) { # i
-                 !!!next-input-character;
-                 if ($self->{next_char} == 0x0043 or # C
-                     $self->{next_char} == 0x0063) { # c
-                   !!!cp (168);
-                   $self->{state} = BEFORE_DOCTYPE_PUBLIC_IDENTIFIER_STATE;
-                   !!!next-input-character;
-                   redo A;
-                 } else {
-                   !!!cp (169);
-                 }
-               } else {
-                 !!!cp (170);
-               }
-             } else {
-               !!!cp (171);
-             }
-           } else {
-             !!!cp (172);
-           }
-         } else {
-           !!!cp (173);
-         }
-         #
-       } elsif ($self->{next_char} == 0x0053 or # S
-                $self->{next_char} == 0x0073) { # s
          !!!next-input-character;
-         if ($self->{next_char} == 0x0059 or # Y
+         redo A;
-             $self->{next_char} == 0x0079) { # y
-           !!!next-input-character;
-           if ($self->{next_char} == 0x0053 or # S
-               $self->{next_char} == 0x0073) { # s
-             !!!next-input-character;
-             if ($self->{next_char} == 0x0054 or # T
-                 $self->{next_char} == 0x0074) { # t
-               !!!next-input-character;
-               if ($self->{next_char} == 0x0045 or # E
-                   $self->{next_char} == 0x0065) { # e
-                 !!!next-input-character;
-                 if ($self->{next_char} == 0x004D or # M
-                     $self->{next_char} == 0x006D) { # m
-                   !!!cp (174);
-                   $self->{state} = BEFORE_DOCTYPE_SYSTEM_IDENTIFIER_STATE;
-                   !!!next-input-character;
-                   redo A;
-                 } else {
-                   !!!cp (175);
-                 }
-               } else {
-                 !!!cp (176);
-               }
-             } else {
-               !!!cp (177);
-             }
-           } else {
-             !!!cp (178);
-           }
-         } else {
-           !!!cp (179);
-         }
-         #
        } else {
          !!!cp (180);
+         !!!parse-error (type => 'string after DOCTYPE name');
+         $self->{ct}->{quirks} = 1;
+         $self->{state} = BOGUS_DOCTYPE_STATE;
          !!!next-input-character;
-         #
+         redo A;
        }
+     } elsif ($self->{state} == PUBLIC_STATE) {
+       ## ASCII case-insensitive
+       if ($self->{nc} == [
+             undef,
+x0055, # U
+x0042, # B
+x004C, # L
+x0049, # I
+           ]->[length $self->{s_kwd}] or
+           $self->{nc} == [
+             undef,
+x0075, # u
+x0062, # b
+x006C, # l
+x0069, # i
+           ]->[length $self->{s_kwd}]) {
+         !!!cp (175);
+         ## Stay in the state.
+         $self->{s_kwd} .= chr $self->{nc};
+         !!!next-input-character;
+         redo A;
+       } elsif ((length $self->{s_kwd}) == 5 and
+                ($self->{nc} == 0x0043 or # C
+                 $self->{nc} == 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->{s_kwd});
+         $self->{ct}->{quirks} = 1;
-       !!!parse-error (type => 'string after DOCTYPE name');
+         $self->{state} = BOGUS_DOCTYPE_STATE;
-       $self->{current_token}->{quirks} = 1;
+         ## Reconsume.
+         redo A;
+       }
+     } elsif ($self->{state} == SYSTEM_STATE) {
+       ## ASCII case-insensitive
+       if ($self->{nc} == [
+             undef,
+x0059, # Y
+x0053, # S
+x0054, # T
+x0045, # E
+           ]->[length $self->{s_kwd}] or
+           $self->{nc} == [
+             undef,
+x0079, # y
+x0073, # s
+x0074, # t
+x0065, # e
+           ]->[length $self->{s_kwd}]) {
+         !!!cp (170);
+         ## Stay in the state.
+         $self->{s_kwd} .= chr $self->{nc};
+         !!!next-input-character;
+         redo A;
+       } elsif ((length $self->{s_kwd}) == 5 and
+                ($self->{nc} == 0x004D or # M
+                 $self->{nc} == 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->{s_kwd});
+         $self->{ct}->{quirks} = 1;
-       $self->{state} = BOGUS_DOCTYPE_STATE;
+         $self->{state} = BOGUS_DOCTYPE_STATE;
-       # next-input-character is already done
+         ## Reconsume.
-       redo A;
+         redo A;
+       }
      } elsif ($self->{state} == BEFORE_DOCTYPE_PUBLIC_IDENTIFIER_STATE) {
-       if ({
+       if ($is_space->{$self->{nc}}) {
-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) { # "
+       } elsif ($self->{nc} eq 0x0022) { # "
          !!!cp (182);
-         $self->{current_token}->{public_identifier} = ''; # DOCTYPE
+         $self->{ct}->{pubid} = ''; # DOCTYPE
          $self->{state} = DOCTYPE_PUBLIC_IDENTIFIER_DOUBLE_QUOTED_STATE;
          !!!next-input-character;
          redo A;
-       } elsif ($self->{next_char} eq 0x0027) { # '
+       } elsif ($self->{nc} eq 0x0027) { # '
          !!!cp (183);
-         $self->{current_token}->{public_identifier} = ''; # DOCTYPE
+         $self->{ct}->{pubid} = ''; # DOCTYPE
          $self->{state} = DOCTYPE_PUBLIC_IDENTIFIER_SINGLE_QUOTED_STATE;
          !!!next-input-character;
          redo A;
-       } elsif ($self->{next_char} eq 0x003E) { # >
+       } elsif ($self->{nc} eq 0x003E) { # >
          !!!cp (184);
          !!!parse-error (type => 'no PUBLIC literal');
          $self->{state} = DATA_STATE;
          !!!next-input-character;
-         $self->{current_token}->{quirks} = 1;
+         $self->{ct}->{quirks} = 1;
-         !!!emit ($self->{current_token}); # DOCTYPE
+         !!!emit ($self->{ct}); # DOCTYPE
          redo A;
-       } elsif ($self->{next_char} == -1) {
+       } elsif ($self->{nc} == -1) {
          !!!cp (185);
          !!!parse-error (type => 'unclosed DOCTYPE');
          $self->{state} = DATA_STATE;
          ## reconsume
-         $self->{current_token}->{quirks} = 1;
+         $self->{ct}->{quirks} = 1;
-         !!!emit ($self->{current_token}); # DOCTYPE
+         !!!emit ($self->{ct}); # DOCTYPE
          redo A;
        } else {
          !!!cp (186);
          !!!parse-error (type => 'string after PUBLIC');
-         $self->{current_token}->{quirks} = 1;
+         $self->{ct}->{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) { # "
+       if ($self->{nc} == 0x0022) { # "
          !!!cp (187);
          $self->{state} = AFTER_DOCTYPE_PUBLIC_IDENTIFIER_STATE;
          !!!next-input-character;
          redo A;
-       } elsif ($self->{next_char} == 0x003E) { # >
+       } elsif ($self->{nc} == 0x003E) { # >
          !!!cp (188);
          !!!parse-error (type => 'unclosed PUBLIC literal');
          $self->{state} = DATA_STATE;
          !!!next-input-character;
-         $self->{current_token}->{quirks} = 1;
+         $self->{ct}->{quirks} = 1;
-         !!!emit ($self->{current_token}); # DOCTYPE
+         !!!emit ($self->{ct}); # DOCTYPE
          redo A;
-       } elsif ($self->{next_char} == -1) {
+       } elsif ($self->{nc} == -1) {
          !!!cp (189);
          !!!parse-error (type => 'unclosed PUBLIC literal');
          $self->{state} = DATA_STATE;
          ## reconsume
-         $self->{current_token}->{quirks} = 1;
+         $self->{ct}->{quirks} = 1;
-         !!!emit ($self->{current_token}); # DOCTYPE
+         !!!emit ($self->{ct}); # DOCTYPE
          redo A;
        } else {
          !!!cp (190);
-         $self->{current_token}->{public_identifier} # DOCTYPE
+         $self->{ct}->{pubid} # DOCTYPE
-             .= chr $self->{next_char};
+             .= chr $self->{nc};
+         $self->{read_until}->($self->{ct}->{pubid}, q[">],
+                               length $self->{ct}->{pubid});
          ## Stay in the state
          !!!next-input-character;
          redo A;
        }
      } elsif ($self->{state} == DOCTYPE_PUBLIC_IDENTIFIER_SINGLE_QUOTED_STATE) {
-       if ($self->{next_char} == 0x0027) { # '
+       if ($self->{nc} == 0x0027) { # '
          !!!cp (191);
          $self->{state} = AFTER_DOCTYPE_PUBLIC_IDENTIFIER_STATE;
          !!!next-input-character;
          redo A;
-       } elsif ($self->{next_char} == 0x003E) { # >
+       } elsif ($self->{nc} == 0x003E) { # >
          !!!cp (192);
          !!!parse-error (type => 'unclosed PUBLIC literal');
          $self->{state} = DATA_STATE;
          !!!next-input-character;
-         $self->{current_token}->{quirks} = 1;
+         $self->{ct}->{quirks} = 1;
-         !!!emit ($self->{current_token}); # DOCTYPE
+         !!!emit ($self->{ct}); # DOCTYPE
          redo A;
-       } elsif ($self->{next_char} == -1) {
+       } elsif ($self->{nc} == -1) {
          !!!cp (193);
          !!!parse-error (type => 'unclosed PUBLIC literal');
          $self->{state} = DATA_STATE;
          ## reconsume
-         $self->{current_token}->{quirks} = 1;
+         $self->{ct}->{quirks} = 1;
-         !!!emit ($self->{current_token}); # DOCTYPE
+         !!!emit ($self->{ct}); # DOCTYPE
          redo A;
        } else {
          !!!cp (194);
-         $self->{current_token}->{public_identifier} # DOCTYPE
+         $self->{ct}->{pubid} # DOCTYPE
-             .= chr $self->{next_char};
+             .= chr $self->{nc};
+         $self->{read_until}->($self->{ct}->{pubid}, q['>],
+                               length $self->{ct}->{pubid});
          ## Stay in the state
          !!!next-input-character;
          redo A;
        }
      } elsif ($self->{state} == AFTER_DOCTYPE_PUBLIC_IDENTIFIER_STATE) {
-       if ({
+       if ($is_space->{$self->{nc}}) {
-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) { # "
+       } elsif ($self->{nc} == 0x0022) { # "
          !!!cp (196);
-         $self->{current_token}->{system_identifier} = ''; # DOCTYPE
+         $self->{ct}->{sysid} = ''; # DOCTYPE
          $self->{state} = DOCTYPE_SYSTEM_IDENTIFIER_DOUBLE_QUOTED_STATE;
          !!!next-input-character;
          redo A;
-       } elsif ($self->{next_char} == 0x0027) { # '
+       } elsif ($self->{nc} == 0x0027) { # '
          !!!cp (197);
-         $self->{current_token}->{system_identifier} = ''; # DOCTYPE
+         $self->{ct}->{sysid} = ''; # DOCTYPE
          $self->{state} = DOCTYPE_SYSTEM_IDENTIFIER_SINGLE_QUOTED_STATE;
          !!!next-input-character;
          redo A;
-       } elsif ($self->{next_char} == 0x003E) { # >
+       } elsif ($self->{nc} == 0x003E) { # >
          !!!cp (198);
          $self->{state} = DATA_STATE;
          !!!next-input-character;
-         !!!emit ($self->{current_token}); # DOCTYPE
+         !!!emit ($self->{ct}); # DOCTYPE
          redo A;
-       } elsif ($self->{next_char} == -1) {
+       } elsif ($self->{nc} == -1) {
          !!!cp (199);
          !!!parse-error (type => 'unclosed DOCTYPE');
          $self->{state} = DATA_STATE;
          ## reconsume
-         $self->{current_token}->{quirks} = 1;
+         $self->{ct}->{quirks} = 1;
-         !!!emit ($self->{current_token}); # DOCTYPE
+         !!!emit ($self->{ct}); # DOCTYPE
          redo A;
        } else {
          !!!cp (200);
          !!!parse-error (type => 'string after PUBLIC literal');
-         $self->{current_token}->{quirks} = 1;
+         $self->{ct}->{quirks} = 1;
          $self->{state} = BOGUS_DOCTYPE_STATE;
          !!!next-input-character;
          redo A;
        }
      } elsif ($self->{state} == BEFORE_DOCTYPE_SYSTEM_IDENTIFIER_STATE) {
-       if ({
+       if ($is_space->{$self->{nc}}) {
-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) { # "
+       } elsif ($self->{nc} == 0x0022) { # "
          !!!cp (202);
-         $self->{current_token}->{system_identifier} = ''; # DOCTYPE
+         $self->{ct}->{sysid} = ''; # DOCTYPE
          $self->{state} = DOCTYPE_SYSTEM_IDENTIFIER_DOUBLE_QUOTED_STATE;
          !!!next-input-character;
          redo A;
-       } elsif ($self->{next_char} == 0x0027) { # '
+       } elsif ($self->{nc} == 0x0027) { # '
          !!!cp (203);
-         $self->{current_token}->{system_identifier} = ''; # DOCTYPE
+         $self->{ct}->{sysid} = ''; # DOCTYPE
          $self->{state} = DOCTYPE_SYSTEM_IDENTIFIER_SINGLE_QUOTED_STATE;
          !!!next-input-character;
          redo A;
-       } elsif ($self->{next_char} == 0x003E) { # >
+       } elsif ($self->{nc} == 0x003E) { # >
          !!!cp (204);
          !!!parse-error (type => 'no SYSTEM literal');
          $self->{state} = DATA_STATE;
          !!!next-input-character;
-         $self->{current_token}->{quirks} = 1;
+         $self->{ct}->{quirks} = 1;
-         !!!emit ($self->{current_token}); # DOCTYPE
+         !!!emit ($self->{ct}); # DOCTYPE
          redo A;
-       } elsif ($self->{next_char} == -1) {
+       } elsif ($self->{nc} == -1) {
          !!!cp (205);
          !!!parse-error (type => 'unclosed DOCTYPE');
          $self->{state} = DATA_STATE;
          ## reconsume
-         $self->{current_token}->{quirks} = 1;
+         $self->{ct}->{quirks} = 1;
-         !!!emit ($self->{current_token}); # DOCTYPE
+         !!!emit ($self->{ct}); # DOCTYPE
          redo A;
        } else {
          !!!cp (206);
          !!!parse-error (type => 'string after SYSTEM');
-         $self->{current_token}->{quirks} = 1;
+         $self->{ct}->{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) { # "
+       if ($self->{nc} == 0x0022) { # "
          !!!cp (207);
          $self->{state} = AFTER_DOCTYPE_SYSTEM_IDENTIFIER_STATE;
          !!!next-input-character;
          redo A;
-       } elsif ($self->{next_char} == 0x003E) { # >
+       } elsif ($self->{nc} == 0x003E) { # >
          !!!cp (208);
-         !!!parse-error (type => 'unclosed PUBLIC literal');
+         !!!parse-error (type => 'unclosed SYSTEM literal');
          $self->{state} = DATA_STATE;
          !!!next-input-character;
-         $self->{current_token}->{quirks} = 1;
+         $self->{ct}->{quirks} = 1;
-         !!!emit ($self->{current_token}); # DOCTYPE
+         !!!emit ($self->{ct}); # DOCTYPE
          redo A;
-       } elsif ($self->{next_char} == -1) {
+       } elsif ($self->{nc} == -1) {
          !!!cp (209);
          !!!parse-error (type => 'unclosed SYSTEM literal');
          $self->{state} = DATA_STATE;
          ## reconsume
-         $self->{current_token}->{quirks} = 1;
+         $self->{ct}->{quirks} = 1;
-         !!!emit ($self->{current_token}); # DOCTYPE
+         !!!emit ($self->{ct}); # DOCTYPE
          redo A;
        } else {
          !!!cp (210);
-         $self->{current_token}->{system_identifier} # DOCTYPE
+         $self->{ct}->{sysid} # DOCTYPE
-             .= chr $self->{next_char};
+             .= chr $self->{nc};
+         $self->{read_until}->($self->{ct}->{sysid}, q[">],
+                               length $self->{ct}->{sysid});
          ## Stay in the state
          !!!next-input-character;
          redo A;
        }
      } elsif ($self->{state} == DOCTYPE_SYSTEM_IDENTIFIER_SINGLE_QUOTED_STATE) {
-       if ($self->{next_char} == 0x0027) { # '
+       if ($self->{nc} == 0x0027) { # '
          !!!cp (211);
          $self->{state} = AFTER_DOCTYPE_SYSTEM_IDENTIFIER_STATE;
          !!!next-input-character;
          redo A;
-       } elsif ($self->{next_char} == 0x003E) { # >
+       } elsif ($self->{nc} == 0x003E) { # >
          !!!cp (212);
-         !!!parse-error (type => 'unclosed PUBLIC literal');
+         !!!parse-error (type => 'unclosed SYSTEM literal');
          $self->{state} = DATA_STATE;
          !!!next-input-character;
-         $self->{current_token}->{quirks} = 1;
+         $self->{ct}->{quirks} = 1;
-         !!!emit ($self->{current_token}); # DOCTYPE
+         !!!emit ($self->{ct}); # DOCTYPE
          redo A;
-       } elsif ($self->{next_char} == -1) {
+       } elsif ($self->{nc} == -1) {
          !!!cp (213);
          !!!parse-error (type => 'unclosed SYSTEM literal');
          $self->{state} = DATA_STATE;
          ## reconsume
-         $self->{current_token}->{quirks} = 1;
+         $self->{ct}->{quirks} = 1;
-         !!!emit ($self->{current_token}); # DOCTYPE
+         !!!emit ($self->{ct}); # DOCTYPE
          redo A;
        } else {
          !!!cp (214);
-         $self->{current_token}->{system_identifier} # DOCTYPE
+         $self->{ct}->{sysid} # DOCTYPE
-             .= chr $self->{next_char};
+             .= chr $self->{nc};
+         $self->{read_until}->($self->{ct}->{sysid}, q['>],
+                               length $self->{ct}->{sysid});
          ## Stay in the state
          !!!next-input-character;
          redo A;
        }
      } elsif ($self->{state} == AFTER_DOCTYPE_SYSTEM_IDENTIFIER_STATE) {
-       if ({
+       if ($is_space->{$self->{nc}}) {
-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) { # >
+       } elsif ($self->{nc} == 0x003E) { # >
          !!!cp (216);
          $self->{state} = DATA_STATE;
          !!!next-input-character;
-         !!!emit ($self->{current_token}); # DOCTYPE
+         !!!emit ($self->{ct}); # DOCTYPE
          redo A;
-       } elsif ($self->{next_char} == -1) {
+       } elsif ($self->{nc} == -1) {
          !!!cp (217);
          !!!parse-error (type => 'unclosed DOCTYPE');
          $self->{state} = DATA_STATE;
          ## reconsume
-         $self->{current_token}->{quirks} = 1;
+         $self->{ct}->{quirks} = 1;
-         !!!emit ($self->{current_token}); # DOCTYPE
+         !!!emit ($self->{ct}); # DOCTYPE
          redo A;
        } else {
          !!!cp (218);
          !!!parse-error (type => 'string after SYSTEM literal');
-         #$self->{current_token}->{quirks} = 1;
+         #$self->{ct}->{quirks} = 1;
          $self->{state} = BOGUS_DOCTYPE_STATE;
          !!!next-input-character;
          redo A;
        }
      } elsif ($self->{state} == BOGUS_DOCTYPE_STATE) {
-       if ($self->{next_char} == 0x003E) { # >
+       if ($self->{nc} == 0x003E) { # >
          !!!cp (219);
          $self->{state} = DATA_STATE;
          !!!next-input-character;
-         !!!emit ($self->{current_token}); # DOCTYPE
+         !!!emit ($self->{ct}); # DOCTYPE
          redo A;
-       } elsif ($self->{next_char} == -1) {
+       } elsif ($self->{nc} == -1) {
          !!!cp (220);
          !!!parse-error (type => 'unclosed DOCTYPE');
          $self->{state} = DATA_STATE;
          ## reconsume
-         !!!emit ($self->{current_token}); # DOCTYPE
+         !!!emit ($self->{ct}); # 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_BLOCK_STATE) {
+     } elsif ($self->{state} == CDATA_SECTION_STATE) {
-       my $s = '';
+       ## 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|.
-       my ($l, $c) = ($self->{line}, $self->{column});
+       if ($self->{nc} == 0x005D) { # ]
+         !!!cp (221.1);
-       CS: while ($self->{next_char} != -1) {
+         $self->{state} = CDATA_SECTION_MSE1_STATE;
-         if ($self->{next_char} == 0x005D) { # ]
-           !!!next-input-character;
-           if ($self->{next_char} == 0x005D) { # ]
-             !!!next-input-character;
-             MDC: {
-               if ($self->{next_char} == 0x003E) { # >
-                 !!!cp (221.1);
-                 !!!next-input-character;
-                 last CS;
-               } elsif ($self->{next_char} == 0x005D) { # ]
-                 !!!cp (221.2);
-                 $s .= ']';
-                 !!!next-input-character;
-                 redo MDC;
-               } else {
-                 !!!cp (221.3);
-                 $s .= ']]';
-                 #
-               }
-             } # MDC
-           } else {
-             !!!cp (221.4);
-             $s .= ']';
-             #
-           }
-         } else {
-           !!!cp (221.5);
-           #
-         }
-         $s .= chr $self->{next_char};
          !!!next-input-character;
-       } # CS
+         redo A;
+       } elsif ($self->{nc} == -1) {
+         $self->{state} = DATA_STATE;
+         !!!next-input-character;
+         if (length $self->{ct}->{data}) { # character
+           !!!cp (221.2);
+           !!!emit ($self->{ct}); # character
+         } else {
+           !!!cp (221.3);
+           ## No token to emit. $self->{ct} is discarded.
+         }
+         redo A;
+       } else {
+         !!!cp (221.4);
+         $self->{ct}->{data} .= chr $self->{nc};
+         $self->{read_until}->($self->{ct}->{data},
+                               q<]>,
+                               length $self->{ct}->{data});
-       $self->{state} = DATA_STATE;
+         ## Stay in the state.
-       ## next-input-character done or EOF, which is reconsumed.
+         !!!next-input-character;
+         redo A;
+       }
-       if (length $s) {
+       ## ISSUE: "text tokens" in spec.
+     } elsif ($self->{state} == CDATA_SECTION_MSE1_STATE) {
+       if ($self->{nc} == 0x005D) { # ]
+         !!!cp (221.5);
+         $self->{state} = CDATA_SECTION_MSE2_STATE;
+         !!!next-input-character;
+         redo A;
+       } else {
          !!!cp (221.6);
-         !!!emit ({type => CHARACTER_TOKEN, data => $s,
+         $self->{ct}->{data} .= ']';
-                   line => $l, column => $c});
+         $self->{state} = CDATA_SECTION_STATE;
+         ## Reconsume.
+         redo A;
+       }
+     } elsif ($self->{state} == CDATA_SECTION_MSE2_STATE) {
+       if ($self->{nc} == 0x003E) { # >
+         $self->{state} = DATA_STATE;
+         !!!next-input-character;
+         if (length $self->{ct}->{data}) { # character
+           !!!cp (221.7);
+           !!!emit ($self->{ct}); # character
+         } else {
+           !!!cp (221.8);
+           ## No token to emit. $self->{ct} is discarded.
+         }
+         redo A;
+       } elsif ($self->{nc} == 0x005D) { # ]
+         !!!cp (221.9); # character
+         $self->{ct}->{data} .= ']'; ## Add first "]" of "]]]".
+         ## Stay in the state.
+         !!!next-input-character;
+         redo A;
        } else {
-         !!!cp (221.7);
+         !!!cp (221.11);
+         $self->{ct}->{data} .= ']]'; # character
+         $self->{state} = CDATA_SECTION_STATE;
+         ## Reconsume.
+         redo A;
+       }
+     } elsif ($self->{state} == ENTITY_STATE) {
+       if ($is_space->{$self->{nc}} or
+           {
+x003C => 1, 0x0026 => 1, -1 => 1, # <, &
+             $self->{entity_add} => 1,
+           }->{$self->{nc}}) {
+         !!!cp (1001);
+         ## Don't consume
+         ## No error
+         ## Return nothing.
+         #
+       } elsif ($self->{nc} == 0x0023) { # #
+         !!!cp (999);
+         $self->{state} = ENTITY_HASH_STATE;
+         $self->{s_kwd} = '#';
+         !!!next-input-character;
+         redo A;
+       } elsif ((0x0041 <= $self->{nc} and
+                 $self->{nc} <= 0x005A) or # A..Z
+                (0x0061 <= $self->{nc} and
+                 $self->{nc} <= 0x007A)) { # a..z
+         !!!cp (998);
+         require Whatpm::_NamedEntityList;
+         $self->{state} = ENTITY_NAME_STATE;
+         $self->{s_kwd} = chr $self->{nc};
+         $self->{entity__value} = $self->{s_kwd};
+         $self->{entity__match} = 0;
+         !!!next-input-character;
+         redo A;
+       } else {
+         !!!cp (1027);
+         !!!parse-error (type => 'bare ero');
+         ## Return nothing.
+         #
        }
-       redo A;
+       ## NOTE: No character is consumed by the "consume a character
+       ## reference" algorithm.  In other word, there is an "&" character
-       ## ISSUE: "text tokens" in spec.
+       ## that does not introduce a character reference, which would be
-       ## TODO: Streaming support
+       ## appended to the parent element or the attribute value in later
-     } else {
+       ## process of the tokenizer.
-       die "$0: $self->{state}: Unknown state";
-     }
+       if ($self->{prev_state} == DATA_STATE) {
-   } # A
+         !!!cp (997);
+         $self->{state} = $self->{prev_state};
-   die "$0: _get_next_token: unexpected case";
+         ## Reconsume.
- } # _get_next_token
+         !!!emit ({type => CHARACTER_TOKEN, data => '&',
+                   line => $self->{line_prev},
- sub _tokenize_attempt_to_consume_an_entity ($$$) {
+                   column => $self->{column_prev},
-   my ($self, $in_attr, $additional) = @_;
+                  });
+         redo A;
-   my ($l, $c) = ($self->{line_prev}, $self->{column_prev});
+       } else {
+         !!!cp (996);
+         $self->{ca}->{value} .= '&';
+         $self->{state} = $self->{prev_state};
+         ## Reconsume.
+         redo A;
+       }
+     } elsif ($self->{state} == ENTITY_HASH_STATE) {
+       if ($self->{nc} == 0x0078 or # x
+           $self->{nc} == 0x0058) { # X
+         !!!cp (995);
+         $self->{state} = HEXREF_X_STATE;
+         $self->{s_kwd} .= chr $self->{nc};
+         !!!next-input-character;
+         redo A;
+       } elsif (0x0030 <= $self->{nc} and
+                $self->{nc} <= 0x0039) { # 0..9
+         !!!cp (994);
+         $self->{state} = NCR_NUM_STATE;
+         $self->{s_kwd} = $self->{nc} - 0x0030;
+         !!!next-input-character;
+         redo A;
+       } else {
+         !!!parse-error (type => 'bare nero',
+                         line => $self->{line_prev},
+                         column => $self->{column_prev} - 1);
-   if ({
+         ## NOTE: According to the spec algorithm, nothing is returned,
-x0009 => 1, 0x000A => 1, 0x000B => 1, 0x000C => 1, # HT, LF, VT, FF,
+         ## and then "&#" is appended to the parent element or the attribute
-x0020 => 1, 0x003C => 1, 0x0026 => 1, -1 => 1, # SP, <, & # 0x000D # CR
+         ## value in the later processing.
-        $additional => 1,
-       }->{$self->{next_char}}) {
+         if ($self->{prev_state} == DATA_STATE) {
-     !!!cp (1001);
+           !!!cp (1019);
-     ## Don't consume
+           $self->{state} = $self->{prev_state};
-     ## No error
+           ## Reconsume.
-     return undef;
+           !!!emit ({type => CHARACTER_TOKEN,
-   } elsif ($self->{next_char} == 0x0023) { # #
+                     data => '&#',
-     !!!next-input-character;
+                     line => $self->{line_prev},
-     if ($self->{next_char} == 0x0078 or # x
+                     column => $self->{column_prev} - 1,
-         $self->{next_char} == 0x0058) { # X
+                    });
-       my $code;
+           redo A;
-       X: {
-         my $x_char = $self->{next_char};
-         !!!next-input-character;
-         if (0x0030 <= $self->{next_char} and
-             $self->{next_char} <= 0x0039) { # 0..9
-           !!!cp (1002);
-           $code ||= 0;
-           $code *= 0x10;
-           $code += $self->{next_char} - 0x0030;
-           redo X;
-         } elsif (0x0061 <= $self->{next_char} and
-                  $self->{next_char} <= 0x0066) { # a..f
-           !!!cp (1003);
-           $code ||= 0;
-           $code *= 0x10;
-           $code += $self->{next_char} - 0x0060 + 9;
-           redo X;
-         } elsif (0x0041 <= $self->{next_char} and
-                  $self->{next_char} <= 0x0046) { # A..F
-           !!!cp (1004);
-           $code ||= 0;
-           $code *= 0x10;
-           $code += $self->{next_char} - 0x0040 + 9;
-           redo X;
-         } elsif (not defined $code) { # no hexadecimal digit
-           !!!cp (1005);
-           !!!parse-error (type => 'bare hcro', line => $l, column => $c);
-           !!!back-next-input-character ($x_char, $self->{next_char});
-           $self->{next_char} = 0x0023; # #
-           return undef;
-         } elsif ($self->{next_char} == 0x003B) { # ;
-           !!!cp (1006);
-           !!!next-input-character;
          } else {
-           !!!cp (1007);
+           !!!cp (993);
-           !!!parse-error (type => 'no refc', line => $l, column => $c);
+           $self->{ca}->{value} .= '&#';
+           $self->{state} = $self->{prev_state};
+           ## Reconsume.
+           redo A;
          }
+       }
-         if ($code == 0 or (0xD800 <= $code and $code <= 0xDFFF)) {
+     } elsif ($self->{state} == NCR_NUM_STATE) {
-           !!!cp (1008);
+       if (0x0030 <= $self->{nc} and
-           !!!parse-error (type => (sprintf 'invalid character reference:U+%04X', $code), line => $l, column => $c);
+           $self->{nc} <= 0x0039) { # 0..9
-           $code = 0xFFFD;
-         } elsif ($code > 0x10FFFF) {
-           !!!cp (1009);
-           !!!parse-error (type => (sprintf 'invalid character reference: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 => (sprintf 'C1 character reference:U+%04X', $code), line => $l, column => $c);
-           $code = $c1_entity_char->{$code};
-         }
-         return {type => CHARACTER_TOKEN, data => chr $code,
-                 has_reference => 1,
-                 line => $l, column => $c,
-                };
-       } # X
-     } elsif (0x0030 <= $self->{next_char} and
-              $self->{next_char} <= 0x0039) { # 0..9
-       my $code = $self->{next_char} - 0x0030;
-       !!!next-input-character;
-       while (0x0030 <= $self->{next_char} and
-                 $self->{next_char} <= 0x0039) { # 0..9
          !!!cp (1012);
-         $code *= 10;
+         $self->{s_kwd} *= 10;
-         $code += $self->{next_char} - 0x0030;
+         $self->{s_kwd} += $self->{nc} - 0x0030;
+         ## Stay in the state.
          !!!next-input-character;
-       }
+         redo A;
+       } elsif ($self->{nc} == 0x003B) { # ;
-       if ($self->{next_char} == 0x003B) { # ;
          !!!cp (1013);
          !!!next-input-character;
+         #
        } else {
          !!!cp (1014);
-         !!!parse-error (type => 'no refc', line => $l, column => $c);
+         !!!parse-error (type => 'no refc');
+         ## Reconsume.
+         #
        }
-       if ($code == 0 or (0xD800 <= $code and $code <= 0xDFFF)) {
+       my $code = $self->{s_kwd};
+       my $l = $self->{line_prev};
+       my $c = $self->{column_prev};
+       if ($charref_map->{$code}) {
          !!!cp (1015);
-         !!!parse-error (type => (sprintf 'invalid character reference:U+%04X', $code), line => $l, column => $c);
+         !!!parse-error (type => 'invalid character reference',
-         $code = 0xFFFD;
+                         text => (sprintf 'U+%04X', $code),
+                         line => $l, column => $c);
+         $code = $charref_map->{$code};
        } elsif ($code > 0x10FFFF) {
          !!!cp (1016);
-         !!!parse-error (type => (sprintf 'invalid character reference:U-%08X', $code), line => $l, column => $c);
+         !!!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 => (sprintf 'C1 character reference:U+%04X', $code), line => $l, column => $c);
-         $code = $c1_entity_char->{$code};
        }
-       return {type => CHARACTER_TOKEN, data => chr $code, has_reference => 1,
+       if ($self->{prev_state} == DATA_STATE) {
-               line => $l, column => $c,
+         !!!cp (992);
-              };
+         $self->{state} = $self->{prev_state};
-     } else {
+         ## Reconsume.
-       !!!cp (1019);
+         !!!emit ({type => CHARACTER_TOKEN, data => chr $code,
-       !!!parse-error (type => 'bare nero', line => $l, column => $c);
+                   line => $l, column => $c,
-       !!!back-next-input-character ($self->{next_char});
+                  });
-       $self->{next_char} = 0x0023; # #
+         redo A;
-       return undef;
+       } else {
-     }
+         !!!cp (991);
-   } elsif ((0x0041 <= $self->{next_char} and
+         $self->{ca}->{value} .= chr $code;
-             $self->{next_char} <= 0x005A) or
+         $self->{ca}->{has_reference} = 1;
-            (0x0061 <= $self->{next_char} and
+         $self->{state} = $self->{prev_state};
-             $self->{next_char} <= 0x007A)) {
+         ## Reconsume.
-     my $entity_name = chr $self->{next_char};
+         redo A;
-     !!!next-input-character;
+       }
+     } elsif ($self->{state} == HEXREF_X_STATE) {
-     my $value = $entity_name;
+       if ((0x0030 <= $self->{nc} and $self->{nc} <= 0x0039) or
-     my $match = 0;
+           (0x0041 <= $self->{nc} and $self->{nc} <= 0x0046) or
-     require Whatpm::_NamedEntityList;
+           (0x0061 <= $self->{nc} and $self->{nc} <= 0x0066)) {
-     our $EntityChar;
+         # 0..9, A..F, a..f
+         !!!cp (990);
-     while (length $entity_name < 10 and
+         $self->{state} = HEXREF_HEX_STATE;
-            ## NOTE: Some number greater than the maximum length of entity name
+         $self->{s_kwd} = 0;
-            ((0x0041 <= $self->{next_char} and # a
+         ## Reconsume.
-              $self->{next_char} <= 0x005A) or # x
+         redo A;
-             (0x0061 <= $self->{next_char} and # a
+       } else {
-              $self->{next_char} <= 0x007A) or # z
+         !!!parse-error (type => 'bare hcro',
-             (0x0030 <= $self->{next_char} and # 0
+                         line => $self->{line_prev},
-              $self->{next_char} <= 0x0039) or # 9
+                         column => $self->{column_prev} - 2);
-             $self->{next_char} == 0x003B)) { # ;
-       $entity_name .= chr $self->{next_char};
+         ## NOTE: According to the spec algorithm, nothing is returned,
-       if (defined $EntityChar->{$entity_name}) {
+         ## and then "&#" followed by "X" or "x" is appended to the parent
-         if ($self->{next_char} == 0x003B) { # ;
+         ## element or the attribute value in the later processing.
-           !!!cp (1020);
-           $value = $EntityChar->{$entity_name};
+         if ($self->{prev_state} == DATA_STATE) {
-           $match = 1;
+           !!!cp (1005);
-           !!!next-input-character;
+           $self->{state} = $self->{prev_state};
-           last;
+           ## Reconsume.
+           !!!emit ({type => CHARACTER_TOKEN,
+                     data => '&' . $self->{s_kwd},
+                     line => $self->{line_prev},
+                     column => $self->{column_prev} - length $self->{s_kwd},
+                    });
+           redo A;
          } else {
-           !!!cp (1021);
+           !!!cp (989);
-           $value = $EntityChar->{$entity_name};
+           $self->{ca}->{value} .= '&' . $self->{s_kwd};
-           $match = -1;
+           $self->{state} = $self->{prev_state};
+           ## Reconsume.
+           redo A;
+         }
+       }
+     } elsif ($self->{state} == HEXREF_HEX_STATE) {
+       if (0x0030 <= $self->{nc} and $self->{nc} <= 0x0039) {
+         # 0..9
+         !!!cp (1002);
+         $self->{s_kwd} *= 0x10;
+         $self->{s_kwd} += $self->{nc} - 0x0030;
+         ## Stay in the state.
+         !!!next-input-character;
+         redo A;
+       } elsif (0x0061 <= $self->{nc} and
+                $self->{nc} <= 0x0066) { # a..f
+         !!!cp (1003);
+         $self->{s_kwd} *= 0x10;
+         $self->{s_kwd} += $self->{nc} - 0x0060 + 9;
+         ## Stay in the state.
+         !!!next-input-character;
+         redo A;
+       } elsif (0x0041 <= $self->{nc} and
+                $self->{nc} <= 0x0046) { # A..F
+         !!!cp (1004);
+         $self->{s_kwd} *= 0x10;
+         $self->{s_kwd} += $self->{nc} - 0x0040 + 9;
+         ## Stay in the state.
+         !!!next-input-character;
+         redo A;
+       } elsif ($self->{nc} == 0x003B) { # ;
+         !!!cp (1006);
+         !!!next-input-character;
+         #
+       } else {
+         !!!cp (1007);
+         !!!parse-error (type => 'no refc',
+                         line => $self->{line},
+                         column => $self->{column});
+         ## Reconsume.
+         #
+       }
+       my $code = $self->{s_kwd};
+       my $l = $self->{line_prev};
+       my $c = $self->{column_prev};
+       if ($charref_map->{$code}) {
+         !!!cp (1008);
+         !!!parse-error (type => 'invalid character reference',
+                         text => (sprintf 'U+%04X', $code),
+                         line => $l, column => $c);
+         $code = $charref_map->{$code};
+       } elsif ($code > 0x10FFFF) {
+         !!!cp (1009);
+         !!!parse-error (type => 'invalid character reference',
+                         text => (sprintf 'U-%08X', $code),
+                         line => $l, column => $c);
+         $code = 0xFFFD;
+       }
+       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->{ca}->{value} .= chr $code;
+         $self->{ca}->{has_reference} = 1;
+         $self->{state} = $self->{prev_state};
+         ## Reconsume.
+         redo A;
+       }
+     } elsif ($self->{state} == ENTITY_NAME_STATE) {
+       if (length $self->{s_kwd} < 30 and
+           ## NOTE: Some number greater than the maximum length of entity name
+           ((0x0041 <= $self->{nc} and # a
+             $self->{nc} <= 0x005A) or # x
+            (0x0061 <= $self->{nc} and # a
+             $self->{nc} <= 0x007A) or # z
+            (0x0030 <= $self->{nc} and # 0
+             $self->{nc} <= 0x0039) or # 9
+            $self->{nc} == 0x003B)) { # ;
+         our $EntityChar;
+         $self->{s_kwd} .= chr $self->{nc};
+         if (defined $EntityChar->{$self->{s_kwd}}) {
+           if ($self->{nc} == 0x003B) { # ;
+             !!!cp (1020);
+             $self->{entity__value} = $EntityChar->{$self->{s_kwd}};
+             $self->{entity__match} = 1;
+             !!!next-input-character;
+             #
+           } else {
+             !!!cp (1021);
+             $self->{entity__value} = $EntityChar->{$self->{s_kwd}};
+             $self->{entity__match} = -1;
+             ## Stay in the state.
+             !!!next-input-character;
+             redo A;
+           }
+         } else {
+           !!!cp (1022);
+           $self->{entity__value} .= chr $self->{nc};
+           $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->{s_kwd};
+           #
+         } else {
+           !!!cp (1025);
+           $data = $self->{entity__value};
+           $has_ref = 1;
+           #
          }
        } else {
-         !!!cp (1022);
+         !!!cp (1026);
-         $value .= chr $self->{next_char};
+         !!!parse-error (type => 'bare ero',
-         $match *= 2;
+                         line => $self->{line_prev},
-         !!!next-input-character;
+                         column => $self->{column_prev} - length $self->{s_kwd});
+         $data = '&' . $self->{s_kwd};
+         #
        }
-     }
+       ## NOTE: In these cases, when a character reference is found,
-     if ($match > 0) {
+       ## it is consumed and a character token is returned, or, otherwise,
-       !!!cp (1023);
+       ## nothing is consumed and returned, according to the spec algorithm.
-       return {type => CHARACTER_TOKEN, data => $value, has_reference => 1,
+       ## In this implementation, anything that has been examined by the
-               line => $l, column => $c,
+       ## tokenizer is appended to the parent element or the attribute value
-              };
+       ## as string, either literal string when no character reference or
-     } elsif ($match < 0) {
+       ## entity-replaced string otherwise, in this stage, since any characters
-       !!!parse-error (type => 'no refc', line => $l, column => $c);
+       ## that would not be consumed are appended in the data state or in an
-       if ($in_attr and $match < -1) {
+       ## appropriate attribute value state anyway.
-         !!!cp (1024);
-         return {type => CHARACTER_TOKEN, data => '&'.$entity_name,
+       if ($self->{prev_state} == DATA_STATE) {
-                 line => $l, column => $c,
+         !!!cp (986);
-                };
+         $self->{state} = $self->{prev_state};
-       } else {
+         ## Reconsume.
-         !!!cp (1025);
+         !!!emit ({type => CHARACTER_TOKEN,
-         return {type => CHARACTER_TOKEN, data => $value, has_reference => 1,
+                   data => $data,
-                 line => $l, column => $c,
+                   line => $self->{line_prev},
-                };
+                   column => $self->{column_prev} + 1 - length $self->{s_kwd},
+                  });
+         redo A;
+       } else {
+         !!!cp (985);
+         $self->{ca}->{value} .= $data;
+         $self->{ca}->{has_reference} = 1 if $has_ref;
+         $self->{state} = $self->{prev_state};
+         ## Reconsume.
+         redo A;
        }
      } else {
-       !!!cp (1026);
+       die "$0: $self->{state}: Unknown state";
-       !!!parse-error (type => 'bare ero', line => $l, column => $c);
-       ## NOTE: "No characters are consumed" in the spec.
-       return {type => CHARACTER_TOKEN, data => '&'.$value,
-               line => $l, column => $c,
-              };
      }
-   } else {
+   } # A
-     !!!cp (1027);
-     ## no characters are consumed
+   die "$0: _get_next_token: unexpected case";
-     !!!parse-error (type => 'bare ero', line => $l, column => $c);
+ } # _get_next_token
-     return undef;
-   }
- } # _tokenize_attempt_to_consume_an_entity
  sub _initialize_tree_constructor ($) {
    my $self = shift;
-Line 2729 
 sub _initialize_tree_constructor ($) {
+Line 3448 
 sub _initialize_tree_constructor ($) {
    ## TODO: Turn mutation events off # MUST
    ## TODO: Turn loose Document option (manakai extension) on
    $self->{document}->manakai_is_html (1); # MUST
+   $self->{document}->set_user_data (manakai_source_line => 1);
+   $self->{document}->set_user_data (manakai_source_column => 1);
  } # _initialize_tree_constructor
  sub _terminate_tree_constructor ($) {
-Line 2783 
 sub _tree_construction_initial ($) {
+Line 3504 
 sub _tree_construction_initial ($) {
        ## language.
        my $doctype_name = $token->{name};
        $doctype_name = '' unless defined $doctype_name;
-       $doctype_name =~ tr/a-z/A-Z/;
+       $doctype_name =~ tr/a-z/A-Z/; # ASCII case-insensitive
        if (not defined $token->{name} or # <!DOCTYPE>
-           defined $token->{public_identifier} or
+           defined $token->{sysid}) {
-           defined $token->{system_identifier}) {
          !!!cp ('t1');
          !!!parse-error (type => 'not HTML5', token => $token);
        } elsif ($doctype_name ne 'HTML') {
          !!!cp ('t2');
-         ## ISSUE: ASCII case-insensitive? (in fact it does not matter)
          !!!parse-error (type => 'not HTML5', token => $token);
+       } elsif (defined $token->{pubid}) {
+         if ($token->{pubid} eq 'XSLT-compat') {
+           !!!cp ('t1.2');
+           !!!parse-error (type => 'XSLT-compat', token => $token,
+                           level => $self->{level}->{should});
+         } else {
+           !!!parse-error (type => 'not HTML5', token => $token);
+         }
        } else {
          !!!cp ('t3');
+         #
        }
        my $doctype = $self->{document}->create_document_type_definition
          ($token->{name}); ## ISSUE: If name is missing (e.g. <!DOCTYPE>)?
        ## NOTE: Default value for both |public_id| and |system_id| attributes
        ## are empty strings, so that we don't set any value in missing cases.
-       $doctype->public_id ($token->{public_identifier})
+       $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??
        $self->{document}->append_child ($doctype);
-Line 2812 
 sub _tree_construction_initial ($) {
+Line 3538 
 sub _tree_construction_initial ($) {
        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/;
-         if ({
+         my $prefix = [
-           "+//SILMARIL//DTD HTML PRO V0R11 19970101//EN" => 1,
+           "+//SILMARIL//DTD HTML PRO V0R11 19970101//",
-           "-//ADVASOFT LTD//DTD HTML 3.0 ASWEDIT + EXTENSIONS//EN" => 1,
+           "-//ADVASOFT LTD//DTD HTML 3.0 ASWEDIT + EXTENSIONS//",
-           "-//AS//DTD HTML 3.0 ASWEDIT + EXTENSIONS//EN" => 1,
+           "-//AS//DTD HTML 3.0 ASWEDIT + EXTENSIONS//",
-           "-//IETF//DTD HTML 2.0 LEVEL 1//EN" => 1,
+           "-//IETF//DTD HTML 2.0 LEVEL 1//",
-           "-//IETF//DTD HTML 2.0 LEVEL 2//EN" => 1,
+           "-//IETF//DTD HTML 2.0 LEVEL 2//",
-           "-//IETF//DTD HTML 2.0 STRICT LEVEL 1//EN" => 1,
+           "-//IETF//DTD HTML 2.0 STRICT LEVEL 1//",
-           "-//IETF//DTD HTML 2.0 STRICT LEVEL 2//EN" => 1,
+           "-//IETF//DTD HTML 2.0 STRICT LEVEL 2//",
-           "-//IETF//DTD HTML 2.0 STRICT//EN" => 1,
+           "-//IETF//DTD HTML 2.0 STRICT//",
-           "-//IETF//DTD HTML 2.0//EN" => 1,
+           "-//IETF//DTD HTML 2.0//",
-           "-//IETF//DTD HTML 2.1E//EN" => 1,
+           "-//IETF//DTD HTML 2.1E//",
-           "-//IETF//DTD HTML 3.0//EN" => 1,
+           "-//IETF//DTD HTML 3.0//",
-           "-//IETF//DTD HTML 3.0//EN//" => 1,
+           "-//IETF//DTD HTML 3.2 FINAL//",
-           "-//IETF//DTD HTML 3.2 FINAL//EN" => 1,
+           "-//IETF//DTD HTML 3.2//",
-           "-//IETF//DTD HTML 3.2//EN" => 1,
+           "-//IETF//DTD HTML 3//",
-           "-//IETF//DTD HTML 3//EN" => 1,
+           "-//IETF//DTD HTML LEVEL 0//",
-           "-//IETF//DTD HTML LEVEL 0//EN" => 1,
+           "-//IETF//DTD HTML LEVEL 1//",
-           "-//IETF//DTD HTML LEVEL 0//EN//2.0" => 1,
+           "-//IETF//DTD HTML LEVEL 2//",
-           "-//IETF//DTD HTML LEVEL 1//EN" => 1,
+           "-//IETF//DTD HTML LEVEL 3//",
-           "-//IETF//DTD HTML LEVEL 1//EN//2.0" => 1,
+           "-//IETF//DTD HTML STRICT LEVEL 0//",
-           "-//IETF//DTD HTML LEVEL 2//EN" => 1,
+           "-//IETF//DTD HTML STRICT LEVEL 1//",
-           "-//IETF//DTD HTML LEVEL 2//EN//2.0" => 1,
+           "-//IETF//DTD HTML STRICT LEVEL 2//",
-           "-//IETF//DTD HTML LEVEL 3//EN" => 1,
+           "-//IETF//DTD HTML STRICT LEVEL 3//",
-           "-//IETF//DTD HTML LEVEL 3//EN//3.0" => 1,
+           "-//IETF//DTD HTML STRICT//",
-           "-//IETF//DTD HTML STRICT LEVEL 0//EN" => 1,
+           "-//IETF//DTD HTML//",
-           "-//IETF//DTD HTML STRICT LEVEL 0//EN//2.0" => 1,
+           "-//METRIUS//DTD METRIUS PRESENTATIONAL//",
-           "-//IETF//DTD HTML STRICT LEVEL 1//EN" => 1,
+           "-//MICROSOFT//DTD INTERNET EXPLORER 2.0 HTML STRICT//",
-           "-//IETF//DTD HTML STRICT LEVEL 1//EN//2.0" => 1,
+           "-//MICROSOFT//DTD INTERNET EXPLORER 2.0 HTML//",
-           "-//IETF//DTD HTML STRICT LEVEL 2//EN" => 1,
+           "-//MICROSOFT//DTD INTERNET EXPLORER 2.0 TABLES//",
-           "-//IETF//DTD HTML STRICT LEVEL 2//EN//2.0" => 1,
+           "-//MICROSOFT//DTD INTERNET EXPLORER 3.0 HTML STRICT//",
-           "-//IETF//DTD HTML STRICT LEVEL 3//EN" => 1,
+           "-//MICROSOFT//DTD INTERNET EXPLORER 3.0 HTML//",
-           "-//IETF//DTD HTML STRICT LEVEL 3//EN//3.0" => 1,
+           "-//MICROSOFT//DTD INTERNET EXPLORER 3.0 TABLES//",
-           "-//IETF//DTD HTML STRICT//EN" => 1,
+           "-//NETSCAPE COMM. CORP.//DTD HTML//",
-           "-//IETF//DTD HTML STRICT//EN//2.0" => 1,
+           "-//NETSCAPE COMM. CORP.//DTD STRICT HTML//",
-           "-//IETF//DTD HTML STRICT//EN//3.0" => 1,
+           "-//O'REILLY AND ASSOCIATES//DTD HTML 2.0//",
-           "-//IETF//DTD HTML//EN" => 1,
+           "-//O'REILLY AND ASSOCIATES//DTD HTML EXTENDED 1.0//",
-           "-//IETF//DTD HTML//EN//2.0" => 1,
+           "-//O'REILLY AND ASSOCIATES//DTD HTML EXTENDED RELAXED 1.0//",
-           "-//IETF//DTD HTML//EN//3.0" => 1,
+           "-//SOFTQUAD SOFTWARE//DTD HOTMETAL PRO 6.0::19990601::EXTENSIONS TO HTML 4.0//",
-           "-//METRIUS//DTD METRIUS PRESENTATIONAL//EN" => 1,
+           "-//SOFTQUAD//DTD HOTMETAL PRO 4.0::19971010::EXTENSIONS TO HTML 4.0//",
-           "-//MICROSOFT//DTD INTERNET EXPLORER 2.0 HTML STRICT//EN" => 1,
+           "-//SPYGLASS//DTD HTML 2.0 EXTENDED//",
-           "-//MICROSOFT//DTD INTERNET EXPLORER 2.0 HTML//EN" => 1,
+           "-//SQ//DTD HTML 2.0 HOTMETAL + EXTENSIONS//",
-           "-//MICROSOFT//DTD INTERNET EXPLORER 2.0 TABLES//EN" => 1,
+           "-//SUN MICROSYSTEMS CORP.//DTD HOTJAVA HTML//",
-           "-//MICROSOFT//DTD INTERNET EXPLORER 3.0 HTML STRICT//EN" => 1,
+           "-//SUN MICROSYSTEMS CORP.//DTD HOTJAVA STRICT HTML//",
-           "-//MICROSOFT//DTD INTERNET EXPLORER 3.0 HTML//EN" => 1,
+           "-//W3C//DTD HTML 3 1995-03-24//",
-           "-//MICROSOFT//DTD INTERNET EXPLORER 3.0 TABLES//EN" => 1,
+           "-//W3C//DTD HTML 3.2 DRAFT//",
-           "-//NETSCAPE COMM. CORP.//DTD HTML//EN" => 1,
+           "-//W3C//DTD HTML 3.2 FINAL//",
-           "-//NETSCAPE COMM. CORP.//DTD STRICT HTML//EN" => 1,
+           "-//W3C//DTD HTML 3.2//",
-           "-//O'REILLY AND ASSOCIATES//DTD HTML 2.0//EN" => 1,
+           "-//W3C//DTD HTML 3.2S DRAFT//",
-           "-//O'REILLY AND ASSOCIATES//DTD HTML EXTENDED 1.0//EN" => 1,
+           "-//W3C//DTD HTML 4.0 FRAMESET//",
-           "-//O'REILLY AND ASSOCIATES//DTD HTML EXTENDED RELAXED 1.0//EN" => 1,
+           "-//W3C//DTD HTML 4.0 TRANSITIONAL//",
-           "-//SOFTQUAD SOFTWARE//DTD HOTMETAL PRO 6.0::19990601::EXTENSIONS TO HTML 4.0//EN" => 1,
+           "-//W3C//DTD HTML EXPERIMETNAL 19960712//",
-           "-//SOFTQUAD//DTD HOTMETAL PRO 4.0::19971010::EXTENSIONS TO HTML 4.0//EN" => 1,
+           "-//W3C//DTD HTML EXPERIMENTAL 970421//",
-           "-//SPYGLASS//DTD HTML 2.0 EXTENDED//EN" => 1,
+           "-//W3C//DTD W3 HTML//",
-           "-//SQ//DTD HTML 2.0 HOTMETAL + EXTENSIONS//EN" => 1,
+           "-//W3O//DTD W3 HTML 3.0//",
-           "-//SUN MICROSYSTEMS CORP.//DTD HOTJAVA HTML//EN" => 1,
+           "-//WEBTECHS//DTD MOZILLA HTML 2.0//",
-           "-//SUN MICROSYSTEMS CORP.//DTD HOTJAVA STRICT HTML//EN" => 1,
+           "-//WEBTECHS//DTD MOZILLA HTML//",
-           "-//W3C//DTD HTML 3 1995-03-24//EN" => 1,
+         ]; # $prefix
-           "-//W3C//DTD HTML 3.2 DRAFT//EN" => 1,
+         my $match;
-           "-//W3C//DTD HTML 3.2 FINAL//EN" => 1,
+         for (@$prefix) {
-           "-//W3C//DTD HTML 3.2//EN" => 1,
+           if (substr ($prefix, 0, length $_) eq $_) {
-           "-//W3C//DTD HTML 3.2S DRAFT//EN" => 1,
+             $match = 1;
-           "-//W3C//DTD HTML 4.0 FRAMESET//EN" => 1,
+             last;
-           "-//W3C//DTD HTML 4.0 TRANSITIONAL//EN" => 1,
+           }
-           "-//W3C//DTD HTML EXPERIMETNAL 19960712//EN" => 1,
+         }
-           "-//W3C//DTD HTML EXPERIMENTAL 970421//EN" => 1,
+         if ($match or
-           "-//W3C//DTD W3 HTML//EN" => 1,
+             $pubid eq "-//W3O//DTD W3 HTML STRICT 3.0//EN//" or
-           "-//W3O//DTD W3 HTML 3.0//EN" => 1,
+             $pubid eq "-/W3C/DTD HTML 4.0 TRANSITIONAL/EN" or
-           "-//W3O//DTD W3 HTML 3.0//EN//" => 1,
+             $pubid eq "HTML") {
-           "-//W3O//DTD W3 HTML STRICT 3.0//EN//" => 1,
-           "-//WEBTECHS//DTD MOZILLA HTML 2.0//EN" => 1,
-           "-//WEBTECHS//DTD MOZILLA HTML//EN" => 1,
-           "-/W3C/DTD HTML 4.0 TRANSITIONAL/EN" => 1,
-           "HTML" => 1,
-         }->{$pubid}) {
            !!!cp ('t5');
            $self->{document}->manakai_compat_mode ('quirks');
-         } elsif ($pubid eq "-//W3C//DTD HTML 4.01 FRAMESET//EN" or
+         } elsif ($pubid =~ m[^-//W3C//DTD HTML 4.01 FRAMESET//] or
-                  $pubid eq "-//W3C//DTD HTML 4.01 TRANSITIONAL//EN") {
+                  $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 {
              !!!cp ('t7');
              $self->{document}->manakai_compat_mode ('limited quirks');
            }
-         } elsif ($pubid eq "-//W3C//DTD XHTML 1.0 FRAMESET//EN" or
+         } elsif ($pubid =~ m[^-//W3C//DTD XHTML 1.0 FRAMESET//] or
-                  $pubid eq "-//W3C//DTD XHTML 1.0 TRANSITIONAL//EN") {
+                  $pubid =~ m[^-//W3C//DTD XHTML 1.0 TRANSITIONAL//]) {
            !!!cp ('t8');
            $self->{document}->manakai_compat_mode ('limited quirks');
          } else {
-Line 2910 
 sub _tree_construction_initial ($) {
+Line 3630 
 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") {
-           ## TODO: Check the spec: PUBLIC "(limited quirks)" "(quirks)"
+           ## NOTE: Ensure that |PUBLIC "(limited quirks)" "(quirks)"| is
+           ## marked as quirks.
            $self->{document}->manakai_compat_mode ('quirks');
            !!!cp ('t11');
          } else {
-Line 2940 
 sub _tree_construction_initial ($) {
+Line 3661 
 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 2997 
 sub _tree_construction_root_element ($)
+Line 3718 
 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 3086 
 sub _reset_insertion_mode ($) {
+Line 3807 
 sub _reset_insertion_mode ($) {
        if ($self->{open_elements}->[0]->[0] eq $node->[0]) {
          $last = 1;
          if (defined $self->{inner_html_node}) {
-           if ($self->{inner_html_node}->[1] & TABLE_CELL_EL) {
+           !!!cp ('t28');
-             !!!cp ('t27');
+           $node = $self->{inner_html_node};
-             #
+         } else {
-           } else {
+           die "_reset_insertion_mode: t27";
-             !!!cp ('t28');
-             $node = $self->{inner_html_node};
-           }
          }
        }
-     ## Step 4..14
+       ## Step 4..14
-     my $new_mode;
+       my $new_mode;
-     if ($node->[1] & FOREIGN_EL) {
+       if ($node->[1] & FOREIGN_EL) {
-       ## NOTE: Strictly spaking, the line below only applies to MathML and
+         !!!cp ('t28.1');
-       ## SVG elements.  Currently the HTML syntax supports only MathML and
+         ## NOTE: Strictly spaking, the line below only applies to MathML and
-       ## SVG elements as foreigners.
+         ## SVG elements.  Currently the HTML syntax supports only MathML and
-       $new_mode = $self->{insertion_mode} | IN_FOREIGN_CONTENT_IM;
+         ## SVG elements as foreigners.
-       ## ISSUE: What is set as the secondary insertion mode?
+         $new_mode = IN_BODY_IM | IN_FOREIGN_CONTENT_IM;
-     } else {
+       } elsif ($node->[1] & TABLE_CELL_EL) {
-       $new_mode = {
+         if ($last) {
+           !!!cp ('t28.2');
+           #
+         } else {
+           !!!cp ('t28.3');
+           $new_mode = IN_CELL_IM;
+         }
+       } else {
+         !!!cp ('t28.4');
+         $new_mode = {
                        select => IN_SELECT_IM,
                        ## NOTE: |option| and |optgroup| do not set
                        ## insertion mode to "in select" by themselves.
-                       td => IN_CELL_IM,
-                       th => IN_CELL_IM,
                        tr => IN_ROW_IM,
                        tbody => IN_TABLE_BODY_IM,
                        thead => IN_TABLE_BODY_IM,
-Line 3122 
 sub _reset_insertion_mode ($) {
+Line 3847 
 sub _reset_insertion_mode ($) {
                        body => IN_BODY_IM,
                        frameset => IN_FRAMESET_IM,
                       }->{$node->[0]->manakai_local_name};
-     }
+       }
-     $self->{insertion_mode} = $new_mode and return if defined $new_mode;
+       $self->{insertion_mode} = $new_mode and return if defined $new_mode;
        ## Step 15
        if ($node->[1] & HTML_EL) {
-Line 3297 
 sub _tree_construction_main ($) {
+Line 4022 
 sub _tree_construction_main ($) {
        ## NOTE: An end-of-file token.
        if ($content_model_flag == CDATA_CONTENT_MODEL) {
          !!!cp ('t43');
-         !!!parse-error (type => 'in CDATA:#'.$token->{type}, token => $token);
+         !!!parse-error (type => 'in CDATA:#eof', token => $token);
        } elsif ($content_model_flag == RCDATA_CONTENT_MODEL) {
          !!!cp ('t44');
-         !!!parse-error (type => 'in RCDATA:#'.$token->{type}, token => $token);
+         !!!parse-error (type => 'in RCDATA:#eof', token => $token);
        } else {
          die "$0: $content_model_flag in parse_rcdata";
        }
-Line 3337 
 sub _tree_construction_main ($) {
+Line 4062 
 sub _tree_construction_main ($) {
        ## Ignore the token
      } else {
        !!!cp ('t48');
-       !!!parse-error (type => 'in CDATA:#'.$token->{type}, token => $token);
+       !!!parse-error (type => 'in CDATA:#eof', token => $token);
        ## ISSUE: And ignore?
        ## TODO: mark as "already executed"
      }
-Line 3388 
 sub _tree_construction_main ($) {
+Line 4113 
 sub _tree_construction_main ($) {
        } # AFE
        unless (defined $formatting_element) {
          !!!cp ('t53');
-         !!!parse-error (type => 'unmatched end tag:'.$tag_name, token => $end_tag_token);
+         !!!parse-error (type => 'unmatched end tag', text => $tag_name, token => $end_tag_token);
          ## Ignore the token
          !!!next-token;
          return;
-Line 3405 
 sub _tree_construction_main ($) {
+Line 4130 
 sub _tree_construction_main ($) {
              last INSCOPE;
            } else { # in open elements but not in scope
              !!!cp ('t55');
-             !!!parse-error (type => 'unmatched end tag:'.$token->{tag_name},
+             !!!parse-error (type => 'unmatched end tag',
+                             text => $token->{tag_name},
                              token => $end_tag_token);
              ## Ignore the token
              !!!next-token;
-Line 3418 
 sub _tree_construction_main ($) {
+Line 4144 
 sub _tree_construction_main ($) {
        } # INSCOPE
        unless (defined $formatting_element_i_in_open) {
          !!!cp ('t57');
-         !!!parse-error (type => 'unmatched end tag:'.$token->{tag_name},
+         !!!parse-error (type => 'unmatched end tag',
+                         text => $token->{tag_name},
                          token => $end_tag_token);
          pop @$active_formatting_elements; # $formatting_element
          !!!next-token; ## TODO: ok?
-Line 3427 
 sub _tree_construction_main ($) {
+Line 4154 
 sub _tree_construction_main ($) {
        if (not $self->{open_elements}->[-1]->[0] eq $formatting_element->[0]) {
          !!!cp ('t58');
          !!!parse-error (type => 'not closed',
-                         value => $self->{open_elements}->[-1]->[0]
+                         text => $self->{open_elements}->[-1]->[0]
                              ->manakai_local_name,
                          token => $end_tag_token);
        }
-Line 3636 
 sub _tree_construction_main ($) {
+Line 4363 
 sub _tree_construction_main ($) {
    B: while (1) {
      if ($token->{type} == DOCTYPE_TOKEN) {
        !!!cp ('t73');
-       !!!parse-error (type => 'DOCTYPE in the middle', token => $token);
+       !!!parse-error (type => 'in html:#DOCTYPE', token => $token);
        ## Ignore the token
        ## Stay in the phase
        !!!next-token;
-Line 3645 
 sub _tree_construction_main ($) {
+Line 4372 
 sub _tree_construction_main ($) {
               $token->{tag_name} eq 'html') {
        if ($self->{insertion_mode} == AFTER_HTML_BODY_IM) {
          !!!cp ('t79');
-         !!!parse-error (type => 'after html:html', token => $token);
+         !!!parse-error (type => 'after html', text => 'html', token => $token);
          $self->{insertion_mode} = AFTER_BODY_IM;
        } elsif ($self->{insertion_mode} == AFTER_HTML_FRAMESET_IM) {
          !!!cp ('t80');
-         !!!parse-error (type => 'after html:html', token => $token);
+         !!!parse-error (type => 'after html', text => 'html', token => $token);
          $self->{insertion_mode} = AFTER_FRAMESET_IM;
        } else {
          !!!cp ('t81');
-Line 3690 
 sub _tree_construction_main ($) {
+Line 4417 
 sub _tree_construction_main ($) {
          !!!next-token;
          next B;
        } elsif ($token->{type} == START_TAG_TOKEN) {
-         if ($self->{open_elements}->[-1]->[1] & FOREIGN_FLOW_CONTENT_EL or
+         if ((not {mglyph => 1, malignmark => 1}->{$token->{tag_name}} and
+              $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)) {
-Line 3698 
 sub _tree_construction_main ($) {
+Line 4426 
 sub _tree_construction_main ($) {
            !!!cp ('t87.2');
            #
          } elsif ({
-   ## TODO:
+                   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,
+                   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}}) {
            !!!cp ('t87.2');
            !!!parse-error (type => 'not closed',
-                           value => $self->{open_elements}->[-1]->[0]
+                           text => $self->{open_elements}->[-1]->[0]
                                ->manakai_local_name,
                            token => $token);
            pop @{$self->{open_elements}}
                while $self->{open_elements}->[-1]->[1] & FOREIGN_EL;
-           $self->{insertion_mode} &= ~ $self->{insertion_mode};
+           $self->{insertion_mode} &= ~ IN_FOREIGN_CONTENT_IM;
            ## Reprocess.
            next B;
          } else {
-           ## TODO: case fixup
+           my $nsuri = $self->{open_elements}->[-1]->[0]->namespace_uri;
+           my $tag_name = $token->{tag_name};
+           if ($nsuri eq $SVG_NS) {
+             $tag_name = {
+                altglyph => 'altGlyph',
+                altglyphdef => 'altGlyphDef',
+                altglyphitem => 'altGlyphItem',
+                animatecolor => 'animateColor',
+                animatemotion => 'animateMotion',
+                animatetransform => 'animateTransform',
+                clippath => 'clipPath',
+                feblend => 'feBlend',
+                fecolormatrix => 'feColorMatrix',
+                fecomponenttransfer => 'feComponentTransfer',
+                fecomposite => 'feComposite',
+                feconvolvematrix => 'feConvolveMatrix',
+                fediffuselighting => 'feDiffuseLighting',
+                fedisplacementmap => 'feDisplacementMap',
+                fedistantlight => 'feDistantLight',
+                feflood => 'feFlood',
+                fefunca => 'feFuncA',
+                fefuncb => 'feFuncB',
+                fefuncg => 'feFuncG',
+                fefuncr => 'feFuncR',
+                fegaussianblur => 'feGaussianBlur',
+                feimage => 'feImage',
+                femerge => 'feMerge',
+                femergenode => 'feMergeNode',
+                femorphology => 'feMorphology',
+                feoffset => 'feOffset',
+                fepointlight => 'fePointLight',
+                fespecularlighting => 'feSpecularLighting',
+                fespotlight => 'feSpotLight',
+                fetile => 'feTile',
+                feturbulence => 'feTurbulence',
+                foreignobject => 'foreignObject',
+                glyphref => 'glyphRef',
+                lineargradient => 'linearGradient',
+                radialgradient => 'radialGradient',
+                #solidcolor => 'solidColor', ## NOTE: Commented in spec (SVG1.2)
+                textpath => 'textPath',
+             }->{$tag_name} || $tag_name;
+           }
-           !!!insert-element-f ($self->{open_elements}->[-1]->[0]->namespace_uri, $token);
+           ## "adjust SVG attributes" (SVG only) - done in insert-element-f
+           ## "adjust foreign attributes" - done in insert-element-f
+           !!!insert-element-f ($nsuri, $tag_name, $token->{attributes}, $token);
            if ($self->{self_closing}) {
              pop @{$self->{open_elements}};
-Line 3732 
 sub _tree_construction_main ($) {
+Line 4513 
 sub _tree_construction_main ($) {
          !!!cp ('t87.5');
          #
        } elsif ($token->{type} == END_OF_FILE_TOKEN) {
-         ## NOTE: "using the rules for secondary insertion mode" then "continue"
          !!!cp ('t87.6');
-         #
+         !!!parse-error (type => 'not closed',
-         ## TODO: ...
+                         text => $self->{open_elements}->[-1]->[0]
+                             ->manakai_local_name,
+                         token => $token);
+         pop @{$self->{open_elements}}
+             while $self->{open_elements}->[-1]->[1] & FOREIGN_EL;
+         $self->{insertion_mode} &= ~ IN_FOREIGN_CONTENT_IM;
+         ## Reprocess.
+         next B;
        } else {
          die "$0: $token->{type}: Unknown token type";
        }
-Line 3743 
 sub _tree_construction_main ($) {
+Line 4532 
 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');
              $self->{open_elements}->[-1]->[0]->manakai_append_text ($1);
+             #
            } else {
              !!!cp ('t88.1');
              ## Ignore the token.
-             !!!next-token;
+             #
-             next B;
            }
            unless (length $token->{data}) {
              !!!cp ('t88');
              !!!next-token;
              next B;
            }
+ ## TODO: set $token->{column} appropriately
          }
          if ($self->{insertion_mode} == BEFORE_HEAD_IM) {
-Line 3776 
 sub _tree_construction_main ($) {
+Line 4566 
 sub _tree_construction_main ($) {
            !!!cp ('t90');
            ## As if </noscript>
            pop @{$self->{open_elements}};
-           !!!parse-error (type => 'in noscript:#character', token => $token);
+           !!!parse-error (type => 'in noscript:#text', token => $token);
            ## Reprocess in the "in head" insertion mode...
            ## As if </head>
-Line 3812 
 sub _tree_construction_main ($) {
+Line 4602 
 sub _tree_construction_main ($) {
              !!!next-token;
              next B;
            } elsif ($self->{insertion_mode} == AFTER_HEAD_IM) {
-             !!!cp ('t94');
+             !!!cp ('t93.2');
-             #
+             !!!parse-error (type => 'after head', text => 'head',
+                             token => $token);
+             ## Ignore the token
+             !!!nack ('t93.3');
+             !!!next-token;
+             next B;
            } else {
              !!!cp ('t95');
-             !!!parse-error (type => 'in head:head', token => $token); # or in head noscript
+             !!!parse-error (type => 'in head:head',
+                             token => $token); # or in head noscript
              ## Ignore the token
              !!!nack ('t95.1');
              !!!next-token;
-Line 3841 
 sub _tree_construction_main ($) {
+Line 4637 
 sub _tree_construction_main ($) {
                  !!!cp ('t98');
                  ## As if </noscript>
                  pop @{$self->{open_elements}};
-                 !!!parse-error (type => 'in noscript:base', token => $token);
+                 !!!parse-error (type => 'in noscript', text => 'base',
+                                 token => $token);
                  $self->{insertion_mode} = IN_HEAD_IM;
                  ## Reprocess in the "in head" insertion mode...
-Line 3852 
 sub _tree_construction_main ($) {
+Line 4649 
 sub _tree_construction_main ($) {
                ## NOTE: There is a "as if in head" code clone.
                if ($self->{insertion_mode} == AFTER_HEAD_IM) {
                  !!!cp ('t100');
-                 !!!parse-error (type => 'after head:'.$token->{tag_name}, token => $token);
+                 !!!parse-error (type => 'after head',
+                                 text => $token->{tag_name}, token => $token);
                  push @{$self->{open_elements}},
                      [$self->{head_element}, $el_category->{head}];
                } else {
                  !!!cp ('t101');
                }
                !!!insert-element ($token->{tag_name}, $token->{attributes}, $token);
-               pop @{$self->{open_elements}}; ## ISSUE: This step is missing in the spec.
+               pop @{$self->{open_elements}};
                pop @{$self->{open_elements}} # <head>
                    if $self->{insertion_mode} == AFTER_HEAD_IM;
                !!!nack ('t101.1');
                !!!next-token;
                next B;
-             } elsif ($token->{tag_name} eq 'link') {
+         } elsif ($token->{tag_name} eq 'link') {
-               ## 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 ('t102');
+             !!!cp ('t102');
-                 !!!parse-error (type => 'after head:'.$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');
+           } else {
-               }
+             !!!cp ('t103');
-               !!!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>
-               !!!ack ('t103.1');
+               if $self->{insertion_mode} == AFTER_HEAD_IM;
-               !!!next-token;
+           !!!ack ('t103.1');
-               next B;
+           !!!next-token;
+           next B;
+         } elsif ($token->{tag_name} eq 'command' or
+                  $token->{tag_name} eq 'eventsource') {
+           if ($self->{insertion_mode} == IN_HEAD_IM) {
+             ## NOTE: If the insertion mode at the time of the emission
+             ## of the token was "before head", $self->{insertion_mode}
+             ## is already changed to |IN_HEAD_IM|.
+             ## NOTE: There is a "as if in head" code clone.
+             !!!insert-element ($token->{tag_name}, $token->{attributes}, $token);
+             pop @{$self->{open_elements}};
+             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:'.$token->{tag_name}, token => $token);
+                 !!!parse-error (type => 'after head',
+                                 text => $token->{tag_name}, token => $token);
                  push @{$self->{open_elements}},
                      [$self->{head_element}, $el_category->{head}];
                } else {
-Line 3896 
 sub _tree_construction_main ($) {
+Line 4718 
 sub _tree_construction_main ($) {
                my $meta_el = pop @{$self->{open_elements}}; ## ISSUE: This step is missing in the spec.
                unless ($self->{confident}) {
-                 if ($token->{attributes}->{charset}) { ## TODO: And if supported
+                 if ($token->{attributes}->{charset}) {
                    !!!cp ('t106');
+                   ## NOTE: Whether the encoding is supported or not is handled
+                   ## in the {change_encoding} callback.
                    $self->{change_encoding}
                        ->($self, $token->{attributes}->{charset}->{value},
                           $token);
-Line 3907 
 sub _tree_construction_main ($) {
+Line 4731 
 sub _tree_construction_main ($) {
                                             $token->{attributes}->{charset}
                                                 ->{has_reference});
                  } elsif ($token->{attributes}->{content}) {
-                   ## ISSUE: Algorithm name in the spec was incorrect so that not linked to the definition.
                    if ($token->{attributes}->{content}->{value}
-                       =~ /\A[^;]*;[\x09-\x0D\x20]*[Cc][Hh][Aa][Rr][Ss][Ee][Tt]
+                       =~ /[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]*))/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.
                      $self->{change_encoding}
                          ->($self, defined $1 ? $1 : defined $2 ? $2 : $3,
                             $token);
-Line 3952 
 sub _tree_construction_main ($) {
+Line 4778 
 sub _tree_construction_main ($) {
                  !!!cp ('t111');
                  ## As if </noscript>
                  pop @{$self->{open_elements}};
-                 !!!parse-error (type => 'in noscript:title', token => $token);
+                 !!!parse-error (type => 'in noscript', text => 'title',
+                                 token => $token);
                  $self->{insertion_mode} = IN_HEAD_IM;
                  ## Reprocess in the "in head" insertion mode...
                } elsif ($self->{insertion_mode} == AFTER_HEAD_IM) {
                  !!!cp ('t112');
-                 !!!parse-error (type => 'after head:'.$token->{tag_name}, token => $token);
+                 !!!parse-error (type => 'after head',
+                                 text => $token->{tag_name}, token => $token);
                  push @{$self->{open_elements}},
                      [$self->{head_element}, $el_category->{head}];
                } else {
-Line 3972 
 sub _tree_construction_main ($) {
+Line 4800 
 sub _tree_construction_main ($) {
                pop @{$self->{open_elements}} # <head>
                    if $self->{insertion_mode} == AFTER_HEAD_IM;
                next B;
-             } elsif ($token->{tag_name} eq 'style') {
+             } elsif ($token->{tag_name} eq 'style' or
+                      $token->{tag_name} eq 'noframes') {
                ## NOTE: Or (scripting is enabled and tag_name eq 'noscript' and
                ## insertion mode IN_HEAD_IM)
                ## NOTE: There is a "as if in head" code clone.
                if ($self->{insertion_mode} == AFTER_HEAD_IM) {
                  !!!cp ('t114');
-                 !!!parse-error (type => 'after head:'.$token->{tag_name}, token => $token);
+                 !!!parse-error (type => 'after head',
+                                 text => $token->{tag_name}, token => $token);
                  push @{$self->{open_elements}},
                      [$self->{head_element}, $el_category->{head}];
                } else {
-Line 3999 
 sub _tree_construction_main ($) {
+Line 4829 
 sub _tree_construction_main ($) {
                  next B;
                } elsif ($self->{insertion_mode} == IN_HEAD_NOSCRIPT_IM) {
                  !!!cp ('t117');
-                 !!!parse-error (type => 'in noscript:noscript', token => $token);
+                 !!!parse-error (type => 'in noscript', text => 'noscript',
+                                 token => $token);
                  ## Ignore the token
                  !!!nack ('t117.1');
                  !!!next-token;
-Line 4013 
 sub _tree_construction_main ($) {
+Line 4844 
 sub _tree_construction_main ($) {
                  !!!cp ('t119');
                  ## As if </noscript>
                  pop @{$self->{open_elements}};
-                 !!!parse-error (type => 'in noscript:script', token => $token);
+                 !!!parse-error (type => 'in noscript', text => 'script',
+                                 token => $token);
                  $self->{insertion_mode} = IN_HEAD_IM;
                  ## Reprocess in the "in head" insertion mode...
                } elsif ($self->{insertion_mode} == AFTER_HEAD_IM) {
                  !!!cp ('t120');
-                 !!!parse-error (type => 'after head:'.$token->{tag_name}, token => $token);
+                 !!!parse-error (type => 'after head',
+                                 text => $token->{tag_name}, token => $token);
                  push @{$self->{open_elements}},
                      [$self->{head_element}, $el_category->{head}];
                } else {
-Line 4037 
 sub _tree_construction_main ($) {
+Line 4870 
 sub _tree_construction_main ($) {
                  !!!cp ('t122');
                  ## As if </noscript>
                  pop @{$self->{open_elements}};
-                 !!!parse-error (type => 'in noscript:'.$token->{tag_name}, token => $token);
+                 !!!parse-error (type => 'in noscript',
+                                 text => $token->{tag_name}, token => $token);
                  ## Reprocess in the "in head" insertion mode...
                  ## As if </head>
-Line 4076 
 sub _tree_construction_main ($) {
+Line 4910 
 sub _tree_construction_main ($) {
                !!!cp ('t129');
                ## As if </noscript>
                pop @{$self->{open_elements}};
-               !!!parse-error (type => 'in noscript:/'.$token->{tag_name}, token => $token);
+               !!!parse-error (type => 'in noscript:/',
+                               text => $token->{tag_name}, token => $token);
                ## Reprocess in the "in head" insertion mode...
                ## As if </head>
-Line 4119 
 sub _tree_construction_main ($) {
+Line 4954 
 sub _tree_construction_main ($) {
                  !!!cp ('t133');
                  ## As if </noscript>
                  pop @{$self->{open_elements}};
-                 !!!parse-error (type => 'in noscript:/head', token => $token);
+                 !!!parse-error (type => 'in noscript:/',
+                                 text => 'head', token => $token);
                  ## Reprocess in the "in head" insertion mode...
                  pop @{$self->{open_elements}};
-Line 4132 
 sub _tree_construction_main ($) {
+Line 4968 
 sub _tree_construction_main ($) {
                  $self->{insertion_mode} = AFTER_HEAD_IM;
                  !!!next-token;
                  next B;
+               } elsif ($self->{insertion_mode} == AFTER_HEAD_IM) {
+                 !!!cp ('t134.1');
+                 !!!parse-error (type => 'unmatched end tag', text => 'head',
+                                 token => $token);
+                 ## Ignore the token
+                 !!!next-token;
+                 next B;
                } else {
-                 !!!cp ('t135');
+                 die "$0: $self->{insertion_mode}: Unknown insertion mode";
-                 #
                }
              } elsif ($token->{tag_name} eq 'noscript') {
                if ($self->{insertion_mode} == IN_HEAD_NOSCRIPT_IM) {
-Line 4143 
 sub _tree_construction_main ($) {
+Line 4985 
 sub _tree_construction_main ($) {
                  $self->{insertion_mode} = IN_HEAD_IM;
                  !!!next-token;
                  next B;
-               } elsif ($self->{insertion_mode} == BEFORE_HEAD_IM) {
+               } elsif ($self->{insertion_mode} == BEFORE_HEAD_IM or
+                        $self->{insertion_mode} == AFTER_HEAD_IM) {
                  !!!cp ('t137');
-                 !!!parse-error (type => 'unmatched end tag:noscript', token => $token);
+                 !!!parse-error (type => 'unmatched end tag',
+                                 text => 'noscript', token => $token);
                  ## Ignore the token ## ISSUE: An issue in the spec.
                  !!!next-token;
                  next B;
-Line 4156 
 sub _tree_construction_main ($) {
+Line 5000 
 sub _tree_construction_main ($) {
              } elsif ({
                        body => 1, html => 1,
                       }->{$token->{tag_name}}) {
-               if ($self->{insertion_mode} == BEFORE_HEAD_IM) {
+               if ($self->{insertion_mode} == BEFORE_HEAD_IM or
-                 !!!cp ('t139');
+                   $self->{insertion_mode} == IN_HEAD_IM or
-                 ## As if <head>
+                   $self->{insertion_mode} == IN_HEAD_NOSCRIPT_IM) {
-                 !!!create-element ($self->{head_element}, $HTML_NS, 'head',, $token);
-                 $self->{open_elements}->[-1]->[0]->append_child ($self->{head_element});
-                 push @{$self->{open_elements}},
-                     [$self->{head_element}, $el_category->{head}];
-                 $self->{insertion_mode} = IN_HEAD_IM;
-                 ## Reprocess in the "in head" insertion mode...
-               } elsif ($self->{insertion_mode} == IN_HEAD_NOSCRIPT_IM) {
                  !!!cp ('t140');
-                 !!!parse-error (type => 'unmatched end tag:'.$token->{tag_name}, token => $token);
+                 !!!parse-error (type => 'unmatched end tag',
+                                 text => $token->{tag_name}, token => $token);
+                 ## Ignore the token
+                 !!!next-token;
+                 next B;
+               } elsif ($self->{insertion_mode} == AFTER_HEAD_IM) {
+                 !!!cp ('t140.1');
+                 !!!parse-error (type => 'unmatched end tag',
+                                 text => $token->{tag_name}, token => $token);
                  ## Ignore the token
                  !!!next-token;
                  next B;
                } else {
-                 !!!cp ('t141');
+                 die "$0: $self->{insertion_mode}: Unknown insertion mode";
                }
+             } elsif ($token->{tag_name} eq 'p') {
-               #
+               !!!cp ('t142');
-             } elsif ({
+               !!!parse-error (type => 'unmatched end tag',
-                       p => 1, br => 1,
+                               text => $token->{tag_name}, token => $token);
-                      }->{$token->{tag_name}}) {
+               ## Ignore the token
+               !!!next-token;
+               next B;
+             } elsif ($token->{tag_name} eq 'br') {
                if ($self->{insertion_mode} == BEFORE_HEAD_IM) {
-                 !!!cp ('t142');
+                 !!!cp ('t142.2');
-                 ## As if <head>
+                 ## (before head) as if <head>, (in head) as if </head>
                  !!!create-element ($self->{head_element}, $HTML_NS, 'head',, $token);
                  $self->{open_elements}->[-1]->[0]->append_child ($self->{head_element});
-                 push @{$self->{open_elements}},
+                 $self->{insertion_mode} = AFTER_HEAD_IM;
-                     [$self->{head_element}, $el_category->{head}];
+                 ## Reprocess in the "after head" insertion mode...
+               } elsif ($self->{insertion_mode} == IN_HEAD_IM) {
+                 !!!cp ('t143.2');
+                 ## As if </head>
+                 pop @{$self->{open_elements}};
+                 $self->{insertion_mode} = AFTER_HEAD_IM;
+                 ## Reprocess in the "after head" insertion mode...
+               } elsif ($self->{insertion_mode} == IN_HEAD_NOSCRIPT_IM) {
+                 !!!cp ('t143.3');
+                 ## ISSUE: Two parse errors for <head><noscript></br>
+                 !!!parse-error (type => 'unmatched end tag',
+                                 text => 'br', token => $token);
+                 ## As if </noscript>
+                 pop @{$self->{open_elements}};
                  $self->{insertion_mode} = IN_HEAD_IM;
                  ## Reprocess in the "in head" insertion mode...
-               } else {
+                 ## As if </head>
-                 !!!cp ('t143');
+                 pop @{$self->{open_elements}};
-               }
+                 $self->{insertion_mode} = AFTER_HEAD_IM;
-               #
+                 ## Reprocess in the "after head" insertion mode...
-             } else {
+               } elsif ($self->{insertion_mode} == AFTER_HEAD_IM) {
-               if ($self->{insertion_mode} == AFTER_HEAD_IM) {
+                 !!!cp ('t143.4');
-                 !!!cp ('t144');
                  #
                } else {
-                 !!!cp ('t145');
+                 die "$0: $self->{insertion_mode}: Unknown insertion mode";
-                 !!!parse-error (type => 'unmatched end tag:'.$token->{tag_name}, token => $token);
-                 ## Ignore the token
-                 !!!next-token;
-                 next B;
                }
+               ## ISSUE: does not agree with IE7 - it doesn't ignore </br>.
+               !!!parse-error (type => 'unmatched end tag',
+                               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);
+               ## Ignore the token
+               !!!next-token;
+               next B;
              }
              if ($self->{insertion_mode} == IN_HEAD_NOSCRIPT_IM) {
                !!!cp ('t146');
                ## As if </noscript>
                pop @{$self->{open_elements}};
-               !!!parse-error (type => 'in noscript:/'.$token->{tag_name}, token => $token);
+               !!!parse-error (type => 'in noscript:/',
+                               text => $token->{tag_name}, token => $token);
                ## Reprocess in the "in head" insertion mode...
                ## As if </head>
-Line 4228 
 sub _tree_construction_main ($) {
+Line 5100 
 sub _tree_construction_main ($) {
              } elsif ($self->{insertion_mode} == BEFORE_HEAD_IM) {
  ## ISSUE: This case cannot be reached?
                !!!cp ('t148');
-               !!!parse-error (type => 'unmatched end tag:'.$token->{tag_name}, token => $token);
+               !!!parse-error (type => 'unmatched end tag',
+                               text => $token->{tag_name}, token => $token);
                ## Ignore the token ## ISSUE: An issue in the spec.
                !!!next-token;
                next B;
-Line 4339 
 sub _tree_construction_main ($) {
+Line 5212 
 sub _tree_construction_main ($) {
                  !!!cp ('t153');
                  !!!parse-error (type => 'start tag not allowed',
-                     value => $token->{tag_name}, token => $token);
+                     text => $token->{tag_name}, token => $token);
                  ## Ignore the token
                  !!!nack ('t153.1');
                  !!!next-token;
                  next B;
                } elsif ($self->{insertion_mode} == IN_CAPTION_IM) {
-                 !!!parse-error (type => 'not closed:caption', token => $token);
+                 !!!parse-error (type => 'not closed', text => 'caption',
+                                 token => $token);
                  ## NOTE: As if </caption>.
                  ## have a table element in table scope
-Line 4365 
 sub _tree_construction_main ($) {
+Line 5239 
 sub _tree_construction_main ($) {
                    !!!cp ('t157');
                    !!!parse-error (type => 'start tag not allowed',
-                                   value => $token->{tag_name}, token => $token);
+                                   text => $token->{tag_name}, token => $token);
                    ## Ignore the token
                    !!!nack ('t157.1');
                    !!!next-token;
-Line 4382 
 sub _tree_construction_main ($) {
+Line 5256 
 sub _tree_construction_main ($) {
                  unless ($self->{open_elements}->[-1]->[1] & CAPTION_EL) {
                    !!!cp ('t159');
                    !!!parse-error (type => 'not closed',
-                                   value => $self->{open_elements}->[-1]->[0]
+                                   text => $self->{open_elements}->[-1]->[0]
                                        ->manakai_local_name,
                                    token => $token);
                  } else {
-Line 4424 
 sub _tree_construction_main ($) {
+Line 5298 
 sub _tree_construction_main ($) {
                  } # INSCOPE
                    unless (defined $i) {
                      !!!cp ('t165');
-                     !!!parse-error (type => 'unmatched end tag:'.$token->{tag_name}, token => $token);
+                     !!!parse-error (type => 'unmatched end tag',
+                                     text => $token->{tag_name},
+                                     token => $token);
                      ## Ignore the token
                      !!!next-token;
                      next B;
-Line 4441 
 sub _tree_construction_main ($) {
+Line 5317 
 sub _tree_construction_main ($) {
                          ne $token->{tag_name}) {
                    !!!cp ('t167');
                    !!!parse-error (type => 'not closed',
-                                   value => $self->{open_elements}->[-1]->[0]
+                                   text => $self->{open_elements}->[-1]->[0]
                                        ->manakai_local_name,
                                    token => $token);
                  } else {
-Line 4458 
 sub _tree_construction_main ($) {
+Line 5334 
 sub _tree_construction_main ($) {
                  next B;
                } elsif ($self->{insertion_mode} == IN_CAPTION_IM) {
                  !!!cp ('t169');
-                 !!!parse-error (type => 'unmatched end tag:'.$token->{tag_name}, token => $token);
+                 !!!parse-error (type => 'unmatched end tag',
+                                 text => $token->{tag_name}, token => $token);
                  ## Ignore the token
                  !!!next-token;
                  next B;
-Line 4485 
 sub _tree_construction_main ($) {
+Line 5362 
 sub _tree_construction_main ($) {
                    !!!cp ('t173');
                    !!!parse-error (type => 'unmatched end tag',
-                                   value => $token->{tag_name}, token => $token);
+                                   text => $token->{tag_name}, token => $token);
                    ## Ignore the token
                    !!!next-token;
                    next B;
-Line 4501 
 sub _tree_construction_main ($) {
+Line 5378 
 sub _tree_construction_main ($) {
                  unless ($self->{open_elements}->[-1]->[1] & CAPTION_EL) {
                    !!!cp ('t175');
                    !!!parse-error (type => 'not closed',
-                                   value => $self->{open_elements}->[-1]->[0]
+                                   text => $self->{open_elements}->[-1]->[0]
                                        ->manakai_local_name,
                                    token => $token);
                  } else {
-Line 4518 
 sub _tree_construction_main ($) {
+Line 5395 
 sub _tree_construction_main ($) {
                  next B;
                } elsif ($self->{insertion_mode} == IN_CELL_IM) {
                  !!!cp ('t177');
-                 !!!parse-error (type => 'unmatched end tag:'.$token->{tag_name}, token => $token);
+                 !!!parse-error (type => 'unmatched end tag',
+                                 text => $token->{tag_name}, token => $token);
                  ## Ignore the token
                  !!!next-token;
                  next B;
-Line 4561 
 sub _tree_construction_main ($) {
+Line 5439 
 sub _tree_construction_main ($) {
                  !!!cp ('t182');
                  !!!parse-error (type => 'unmatched end tag',
-                     value => $token->{tag_name}, token => $token);
+                     text => $token->{tag_name}, token => $token);
                  ## Ignore the token
                  !!!next-token;
                  next B;
                } # INSCOPE
              } elsif ($token->{tag_name} eq 'table' and
                       $self->{insertion_mode} == IN_CAPTION_IM) {
-               !!!parse-error (type => 'not closed:caption', token => $token);
+               !!!parse-error (type => 'not closed', text => 'caption',
+                               token => $token);
                ## As if </caption>
                ## have a table element in table scope
-Line 4586 
 sub _tree_construction_main ($) {
+Line 5465 
 sub _tree_construction_main ($) {
                } # INSCOPE
                unless (defined $i) {
                  !!!cp ('t186');
-                 !!!parse-error (type => 'unmatched end tag:caption', token => $token);
+                 !!!parse-error (type => 'unmatched end tag',
+                                 text => 'caption', token => $token);
                  ## Ignore the token
                  !!!next-token;
                  next B;
-Line 4601 
 sub _tree_construction_main ($) {
+Line 5481 
 sub _tree_construction_main ($) {
                unless ($self->{open_elements}->[-1]->[1] & CAPTION_EL) {
                  !!!cp ('t188');
                  !!!parse-error (type => 'not closed',
-                                 value => $self->{open_elements}->[-1]->[0]
+                                 text => $self->{open_elements}->[-1]->[0]
                                      ->manakai_local_name,
                                  token => $token);
                } else {
-Line 4621 
 sub _tree_construction_main ($) {
+Line 5501 
 sub _tree_construction_main ($) {
                       }->{$token->{tag_name}}) {
                if ($self->{insertion_mode} & BODY_TABLE_IMS) {
                  !!!cp ('t190');
-                 !!!parse-error (type => 'unmatched end tag:'.$token->{tag_name}, token => $token);
+                 !!!parse-error (type => 'unmatched end tag',
+                                 text => $token->{tag_name}, token => $token);
                  ## Ignore the token
                  !!!next-token;
                  next B;
-Line 4635 
 sub _tree_construction_main ($) {
+Line 5516 
 sub _tree_construction_main ($) {
                       }->{$token->{tag_name}} and
                       $self->{insertion_mode} == IN_CAPTION_IM) {
                !!!cp ('t192');
-               !!!parse-error (type => 'unmatched end tag:'.$token->{tag_name}, token => $token);
+               !!!parse-error (type => 'unmatched end tag',
+                               text => $token->{tag_name}, token => $token);
                ## Ignore the token
                !!!next-token;
                next B;
-Line 4663 
 sub _tree_construction_main ($) {
+Line 5545 
 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 4675 
 sub _tree_construction_main ($) {
+Line 5557 
 sub _tree_construction_main ($) {
            }
          }
-             !!!parse-error (type => 'in table:#character', token => $token);
+         !!!parse-error (type => 'in table:#text', token => $token);
              ## As if in body, but insert into foster parent element
              ## ISSUE: Spec says that "whenever a node would be inserted
-Line 4726 
 sub _tree_construction_main ($) {
+Line 5608 
 sub _tree_construction_main ($) {
          !!!next-token;
          next B;
        } elsif ($token->{type} == START_TAG_TOKEN) {
-             if ({
+         if ({
-                  tr => ($self->{insertion_mode} != IN_ROW_IM),
+              tr => ($self->{insertion_mode} != IN_ROW_IM),
-                  th => 1, td => 1,
+              th => 1, td => 1,
-                 }->{$token->{tag_name}}) {
+             }->{$token->{tag_name}}) {
-               if ($self->{insertion_mode} == IN_TABLE_IM) {
+           if ($self->{insertion_mode} == IN_TABLE_IM) {
-                 ## 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 ('t201');
+               !!!cp ('t201');
-                   pop @{$self->{open_elements}};
+               pop @{$self->{open_elements}};
-                 }
+             }
-                 !!!insert-element ('tbody',, $token);
+             !!!insert-element ('tbody',, $token);
-                 $self->{insertion_mode} = IN_TABLE_BODY_IM;
+             $self->{insertion_mode} = IN_TABLE_BODY_IM;
-                 ## reprocess in the "in table body" insertion mode...
+             ## reprocess in the "in table body" insertion mode...
-               }
+           }
-               if ($self->{insertion_mode} == IN_TABLE_BODY_IM) {
+           if ($self->{insertion_mode} == IN_TABLE_BODY_IM) {
-                 unless ($token->{tag_name} eq 'tr') {
+             unless ($token->{tag_name} eq 'tr') {
-                   !!!cp ('t202');
+               !!!cp ('t202');
-                   !!!parse-error (type => 'missing start tag:tr', token => $token);
+               !!!parse-error (type => 'missing start tag:tr', token => $token);
-                 }
+             }
-                 ## Clear back to table body context
+             ## Clear back to table body context
-                 while (not ($self->{open_elements}->[-1]->[1]
+             while (not ($self->{open_elements}->[-1]->[1]
-                                 & TABLE_ROWS_SCOPING_EL)) {
+                             & TABLE_ROWS_SCOPING_EL)) {
-                   !!!cp ('t203');
+               !!!cp ('t203');
-                   ## ISSUE: Can this case be reached?
+               ## ISSUE: Can this case be reached?
-                   pop @{$self->{open_elements}};
+               pop @{$self->{open_elements}};
-                 }
+             }
                  $self->{insertion_mode} = IN_ROW_IM;
                  if ($token->{tag_name} eq 'tr') {
-Line 4811 
 sub _tree_construction_main ($) {
+Line 5693 
 sub _tree_construction_main ($) {
                  unless (defined $i) {
                    !!!cp ('t210');
  ## TODO: This type is wrong.
-                   !!!parse-error (type => 'unmacthed end tag:'.$token->{tag_name}, token => $token);
+                   !!!parse-error (type => 'unmacthed end tag',
+                                   text => $token->{tag_name}, token => $token);
                    ## Ignore the token
                    !!!nack ('t210.1');
                    !!!next-token;
-Line 4855 
 sub _tree_construction_main ($) {
+Line 5738 
 sub _tree_construction_main ($) {
                  } # INSCOPE
                  unless (defined $i) {
                    !!!cp ('t216');
- ## TODO: This erorr type ios wrong.
+ ## TODO: This erorr type is wrong.
-                   !!!parse-error (type => 'unmatched end tag:'.$token->{tag_name}, token => $token);
+                   !!!parse-error (type => 'unmatched end tag',
+                                   text => $token->{tag_name}, token => $token);
                    ## Ignore the token
                    !!!nack ('t216.1');
                    !!!next-token;
-Line 4931 
 sub _tree_construction_main ($) {
+Line 5815 
 sub _tree_construction_main ($) {
                }
              } elsif ($token->{tag_name} eq 'table') {
                !!!parse-error (type => 'not closed',
-                               value => $self->{open_elements}->[-1]->[0]
+                               text => $self->{open_elements}->[-1]->[0]
                                    ->manakai_local_name,
                                token => $token);
-Line 4952 
 sub _tree_construction_main ($) {
+Line 5836 
 sub _tree_construction_main ($) {
                unless (defined $i) {
                  !!!cp ('t223');
  ## TODO: The following is wrong, maybe.
-                 !!!parse-error (type => 'unmatched end tag:table', token => $token);
+                 !!!parse-error (type => 'unmatched end tag', text => 'table',
+                                 token => $token);
                  ## Ignore tokens </table><table>
                  !!!nack ('t223.1');
                  !!!next-token;
                  next B;
                }
  ## TODO: Followings are removed from the latest spec.
                ## generate implied end tags
                while ($self->{open_elements}->[-1]->[1] & END_TAG_OPTIONAL_EL) {
                  !!!cp ('t224');
-Line 4970 
 sub _tree_construction_main ($) {
+Line 5855 
 sub _tree_construction_main ($) {
                  !!!cp ('t225');
                  ## NOTE: |<table><tr><table>|
                  !!!parse-error (type => 'not closed',
-                                 value => $self->{open_elements}->[-1]->[0]
+                                 text => $self->{open_elements}->[-1]->[0]
                                      ->manakai_local_name,
                                  token => $token);
                } else {
-Line 5011 
 sub _tree_construction_main ($) {
+Line 5896 
 sub _tree_construction_main ($) {
                my $type = lc $token->{attributes}->{type}->{value};
                if ($type eq 'hidden') {
                  !!!cp ('t227.3');
-                 !!!parse-error (type => 'in table:'.$token->{tag_name}, token => $token);
+                 !!!parse-error (type => 'in table',
+                                 text => $token->{tag_name}, token => $token);
                  !!!insert-element ($token->{tag_name}, $token->{attributes}, $token);
-Line 5039 
 sub _tree_construction_main ($) {
+Line 5925 
 sub _tree_construction_main ($) {
            #
          }
-         !!!parse-error (type => 'in table:'.$token->{tag_name}, token => $token);
+         !!!parse-error (type => 'in table', text => $token->{tag_name},
+                         token => $token);
          $insert = $insert_to_foster;
          #
-Line 5061 
 sub _tree_construction_main ($) {
+Line 5948 
 sub _tree_construction_main ($) {
                } # INSCOPE
                unless (defined $i) {
                  !!!cp ('t230');
-                 !!!parse-error (type => 'unmatched end tag:'.$token->{tag_name}, token => $token);
+                 !!!parse-error (type => 'unmatched end tag',
+                                 text => $token->{tag_name}, token => $token);
                  ## Ignore the token
                  !!!nack ('t230.1');
                  !!!next-token;
-Line 5102 
 sub _tree_construction_main ($) {
+Line 5990 
 sub _tree_construction_main ($) {
                  unless (defined $i) {
                    !!!cp ('t235');
  ## TODO: The following is wrong.
-                   !!!parse-error (type => 'unmatched end tag:'.$token->{type}, token => $token);
+                   !!!parse-error (type => 'unmatched end tag',
+                                   text => $token->{type}, token => $token);
                    ## Ignore the token
                    !!!nack ('t236.1');
                    !!!next-token;
-Line 5138 
 sub _tree_construction_main ($) {
+Line 6027 
 sub _tree_construction_main ($) {
                  } # INSCOPE
                  unless (defined $i) {
                    !!!cp ('t239');
-                   !!!parse-error (type => 'unmatched end tag:'.$token->{tag_name}, token => $token);
+                   !!!parse-error (type => 'unmatched end tag',
+                                   text => $token->{tag_name}, token => $token);
                    ## Ignore the token
                    !!!nack ('t239.1');
                    !!!next-token;
-Line 5184 
 sub _tree_construction_main ($) {
+Line 6074 
 sub _tree_construction_main ($) {
                } # INSCOPE
                unless (defined $i) {
                  !!!cp ('t243');
-                 !!!parse-error (type => 'unmatched end tag:'.$token->{tag_name}, token => $token);
+                 !!!parse-error (type => 'unmatched end tag',
+                                 text => $token->{tag_name}, token => $token);
                  ## Ignore the token
                  !!!nack ('t243.1');
                  !!!next-token;
-Line 5218 
 sub _tree_construction_main ($) {
+Line 6109 
 sub _tree_construction_main ($) {
                  } # INSCOPE
                    unless (defined $i) {
                      !!!cp ('t249');
-                     !!!parse-error (type => 'unmatched end tag:'.$token->{tag_name}, token => $token);
+                     !!!parse-error (type => 'unmatched end tag',
+                                     text => $token->{tag_name}, token => $token);
                      ## Ignore the token
                      !!!nack ('t249.1');
                      !!!next-token;
-Line 5241 
 sub _tree_construction_main ($) {
+Line 6133 
 sub _tree_construction_main ($) {
                  } # INSCOPE
                    unless (defined $i) {
                      !!!cp ('t252');
-                     !!!parse-error (type => 'unmatched end tag:tr', token => $token);
+                     !!!parse-error (type => 'unmatched end tag',
+                                     text => 'tr', token => $token);
                      ## Ignore the token
                      !!!nack ('t252.1');
                      !!!next-token;
-Line 5276 
 sub _tree_construction_main ($) {
+Line 6169 
 sub _tree_construction_main ($) {
                } # INSCOPE
                unless (defined $i) {
                  !!!cp ('t256');
-                 !!!parse-error (type => 'unmatched end tag:'.$token->{tag_name}, token => $token);
+                 !!!parse-error (type => 'unmatched end tag',
+                                 text => $token->{tag_name}, token => $token);
                  ## Ignore the token
                  !!!nack ('t256.1');
                  !!!next-token;
-Line 5303 
 sub _tree_construction_main ($) {
+Line 6197 
 sub _tree_construction_main ($) {
                        tbody => 1, tfoot => 1, thead => 1, # $self->{insertion_mode} == IN_TABLE_IM
                       }->{$token->{tag_name}}) {
            !!!cp ('t258');
-           !!!parse-error (type => 'unmatched end tag:'.$token->{tag_name}, token => $token);
+           !!!parse-error (type => 'unmatched end tag',
+                           text => $token->{tag_name}, token => $token);
            ## Ignore the token
            !!!nack ('t258.1');
             !!!next-token;
            next B;
          } else {
            !!!cp ('t259');
-           !!!parse-error (type => 'in table:/'.$token->{tag_name}, token => $token);
+           !!!parse-error (type => 'in table:/',
+                           text => $token->{tag_name}, token => $token);
            $insert = $insert_to_foster;
            #
-Line 5333 
 sub _tree_construction_main ($) {
+Line 6229 
 sub _tree_construction_main ($) {
        }
      } elsif ($self->{insertion_mode} == 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 5360 
 sub _tree_construction_main ($) {
+Line 6256 
 sub _tree_construction_main ($) {
              if ($token->{tag_name} eq 'colgroup') {
                if ($self->{open_elements}->[-1]->[1] & HTML_EL) {
                  !!!cp ('t264');
-                 !!!parse-error (type => 'unmatched end tag:colgroup', token => $token);
+                 !!!parse-error (type => 'unmatched end tag',
+                                 text => 'colgroup', token => $token);
                  ## Ignore the token
                  !!!next-token;
                  next B;
-Line 5373 
 sub _tree_construction_main ($) {
+Line 6270 
 sub _tree_construction_main ($) {
                }
              } elsif ($token->{tag_name} eq 'col') {
                !!!cp ('t266');
-               !!!parse-error (type => 'unmatched end tag:col', token => $token);
+               !!!parse-error (type => 'unmatched end tag',
+                               text => 'col', token => $token);
                ## Ignore the token
                !!!next-token;
                next B;
-Line 5403 
 sub _tree_construction_main ($) {
+Line 6301 
 sub _tree_construction_main ($) {
            if ($self->{open_elements}->[-1]->[1] & HTML_EL) {
              !!!cp ('t269');
  ## TODO: Wrong error type?
-             !!!parse-error (type => 'unmatched end tag:colgroup', token => $token);
+             !!!parse-error (type => 'unmatched end tag',
+                             text => 'colgroup', token => $token);
              ## Ignore the token
              !!!nack ('t269.1');
              !!!next-token;
-Line 5457 
 sub _tree_construction_main ($) {
+Line 6356 
 sub _tree_construction_main ($) {
            !!!nack ('t277.1');
            !!!next-token;
            next B;
-         } elsif ($token->{tag_name} eq 'select' or
+         } elsif ({
-                  $token->{tag_name} eq 'input' or
+                    select => 1, input => 1, textarea => 1,
+                  }->{$token->{tag_name}} or
                   ($self->{insertion_mode} == IN_SELECT_IN_TABLE_IM and
                    {
                     caption => 1, table => 1,
-Line 5466 
 sub _tree_construction_main ($) {
+Line 6366 
 sub _tree_construction_main ($) {
                     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:select', token => $token);
+           !!!parse-error (type => 'not closed', text => 'select',
+                           token => $token);
            ## NOTE: As if the token were </select> (<select> case) or
            ## as if there were </select> (otherwise).
            ## have an element in table scope
-Line 5484 
 sub _tree_construction_main ($) {
+Line 6385 
 sub _tree_construction_main ($) {
            } # INSCOPE
            unless (defined $i) {
              !!!cp ('t280');
-             !!!parse-error (type => 'unmatched end tag:select', token => $token);
+             !!!parse-error (type => 'unmatched end tag',
+                             text => 'select', token => $token);
              ## Ignore the token
              !!!nack ('t280.1');
              !!!next-token;
-Line 5508 
 sub _tree_construction_main ($) {
+Line 6410 
 sub _tree_construction_main ($) {
            }
          } else {
            !!!cp ('t282');
-           !!!parse-error (type => 'in select:'.$token->{tag_name}, token => $token);
+           !!!parse-error (type => 'in select',
+                           text => $token->{tag_name}, token => $token);
            ## Ignore the token
            !!!nack ('t282.1');
            !!!next-token;
-Line 5526 
 sub _tree_construction_main ($) {
+Line 6429 
 sub _tree_construction_main ($) {
              pop @{$self->{open_elements}};
            } else {
              !!!cp ('t285');
-             !!!parse-error (type => 'unmatched end tag:'.$token->{tag_name}, token => $token);
+             !!!parse-error (type => 'unmatched end tag',
+                             text => $token->{tag_name}, token => $token);
              ## Ignore the token
            }
            !!!nack ('t285.1');
-Line 5538 
 sub _tree_construction_main ($) {
+Line 6442 
 sub _tree_construction_main ($) {
              pop @{$self->{open_elements}};
            } else {
              !!!cp ('t287');
-             !!!parse-error (type => 'unmatched end tag:'.$token->{tag_name}, token => $token);
+             !!!parse-error (type => 'unmatched end tag',
+                             text => $token->{tag_name}, token => $token);
              ## Ignore the token
            }
            !!!nack ('t287.1');
-Line 5560 
 sub _tree_construction_main ($) {
+Line 6465 
 sub _tree_construction_main ($) {
            } # INSCOPE
            unless (defined $i) {
              !!!cp ('t290');
-             !!!parse-error (type => 'unmatched end tag:'.$token->{tag_name}, token => $token);
+             !!!parse-error (type => 'unmatched end tag',
+                             text => $token->{tag_name}, token => $token);
              ## Ignore the token
              !!!nack ('t290.1');
              !!!next-token;
-Line 5581 
 sub _tree_construction_main ($) {
+Line 6487 
 sub _tree_construction_main ($) {
                    tfoot => 1, thead => 1, tr => 1, td => 1, th => 1,
                   }->{$token->{tag_name}}) {
  ## TODO: The following is wrong?
-           !!!parse-error (type => 'unmatched end tag:'.$token->{tag_name}, token => $token);
+           !!!parse-error (type => 'unmatched end tag',
+                           text => $token->{tag_name}, token => $token);
            ## have an element in table scope
            my $i;
-Line 5622 
 sub _tree_construction_main ($) {
+Line 6529 
 sub _tree_construction_main ($) {
            unless (defined $i) {
              !!!cp ('t297');
  ## TODO: The following error type is correct?
-             !!!parse-error (type => 'unmatched end tag:select', token => $token);
+             !!!parse-error (type => 'unmatched end tag',
+                             text => 'select', token => $token);
              ## Ignore the </select> token
              !!!nack ('t297.1');
              !!!next-token; ## TODO: ok?
-Line 5639 
 sub _tree_construction_main ($) {
+Line 6547 
 sub _tree_construction_main ($) {
            next B;
          } else {
            !!!cp ('t299');
-           !!!parse-error (type => 'in select:/'.$token->{tag_name}, token => $token);
+           !!!parse-error (type => 'in select:/',
+                           text => $token->{tag_name}, token => $token);
            ## Ignore the token
            !!!nack ('t299.3');
            !!!next-token;
-Line 5661 
 sub _tree_construction_main ($) {
+Line 6570 
 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 5677 
 sub _tree_construction_main ($) {
+Line 6586 
 sub _tree_construction_main ($) {
          if ($self->{insertion_mode} == AFTER_HTML_BODY_IM) {
            !!!cp ('t301');
-           !!!parse-error (type => 'after html:#character', token => $token);
+           !!!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:#character', token => $token);
          $self->{insertion_mode} = IN_BODY_IM;
          ## reprocess
-Line 5693 
 sub _tree_construction_main ($) {
+Line 6601 
 sub _tree_construction_main ($) {
        } elsif ($token->{type} == START_TAG_TOKEN) {
          if ($self->{insertion_mode} == AFTER_HTML_BODY_IM) {
            !!!cp ('t303');
-           !!!parse-error (type => 'after html:'.$token->{tag_name}, token => $token);
+           !!!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:'.$token->{tag_name}, token => $token);
          $self->{insertion_mode} = IN_BODY_IM;
          !!!ack-later;
          ## reprocess
-Line 5710 
 sub _tree_construction_main ($) {
+Line 6619 
 sub _tree_construction_main ($) {
        } elsif ($token->{type} == END_TAG_TOKEN) {
          if ($self->{insertion_mode} == AFTER_HTML_BODY_IM) {
            !!!cp ('t305');
-           !!!parse-error (type => 'after html:/'.$token->{tag_name}, token => $token);
+           !!!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 5722 
 sub _tree_construction_main ($) {
+Line 6633 
 sub _tree_construction_main ($) {
          if ($token->{tag_name} eq 'html') {
            if (defined $self->{inner_html_node}) {
              !!!cp ('t307');
-             !!!parse-error (type => 'unmatched end tag:html', token => $token);
+             !!!parse-error (type => 'unmatched end tag',
+                             text => 'html', token => $token);
              ## Ignore the token
              !!!next-token;
              next B;
-Line 5734 
 sub _tree_construction_main ($) {
+Line 6646 
 sub _tree_construction_main ($) {
            }
          } else {
            !!!cp ('t309');
-           !!!parse-error (type => 'after body:/'.$token->{tag_name}, token => $token);
+           !!!parse-error (type => 'after body:/',
+                           text => $token->{tag_name}, token => $token);
            $self->{insertion_mode} = IN_BODY_IM;
            ## reprocess
-Line 5749 
 sub _tree_construction_main ($) {
+Line 6662 
 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 5759 
 sub _tree_construction_main ($) {
+Line 6672 
 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:#character', token => $token);
+             !!!parse-error (type => 'in frameset:#text', token => $token);
            } elsif ($self->{insertion_mode} == AFTER_FRAMESET_IM) {
              !!!cp ('t312');
-             !!!parse-error (type => 'after frameset:#character', token => $token);
+             !!!parse-error (type => 'after frameset:#text', token => $token);
-           } else { # "after html frameset"
+           } else { # "after after frameset"
              !!!cp ('t313');
-             !!!parse-error (type => 'after html:#character', token => $token);
+             !!!parse-error (type => 'after html:#text', token => $token);
-             $self->{insertion_mode} = AFTER_FRAMESET_IM;
-             ## Reprocess in the "after frameset" insertion mode.
-             !!!parse-error (type => 'after frameset:#character', token => $token);
            }
            ## Ignore the token.
-Line 5788 
 sub _tree_construction_main ($) {
+Line 6697 
 sub _tree_construction_main ($) {
          die qq[$0: Character "$token->{data}"];
        } elsif ($token->{type} == START_TAG_TOKEN) {
-         if ($self->{insertion_mode} == AFTER_HTML_FRAMESET_IM) {
-           !!!cp ('t316');
-           !!!parse-error (type => 'after html:'.$token->{tag_name}, token => $token);
-           $self->{insertion_mode} = AFTER_FRAMESET_IM;
-           ## Process in the "after frameset" insertion mode.
-         } else {
-           !!!cp ('t317');
-         }
          if ($token->{tag_name} eq 'frameset' and
              $self->{insertion_mode} == IN_FRAMESET_IM) {
            !!!cp ('t318');
-Line 5815 
 sub _tree_construction_main ($) {
+Line 6714 
 sub _tree_construction_main ($) {
            next B;
          } elsif ($token->{tag_name} eq 'noframes') {
            !!!cp ('t320');
-           ## NOTE: As if in body.
+           ## NOTE: As if in head.
            $parse_rcdata->(CDATA_CONTENT_MODEL);
            next B;
+           ## NOTE: |<!DOCTYPE HTML><frameset></frameset></html><noframes></noframes>|
+           ## has no parse error.
          } else {
            if ($self->{insertion_mode} == IN_FRAMESET_IM) {
              !!!cp ('t321');
-             !!!parse-error (type => 'in frameset:'.$token->{tag_name}, token => $token);
+             !!!parse-error (type => 'in frameset',
-           } else {
+                             text => $token->{tag_name}, token => $token);
+           } elsif ($self->{insertion_mode} == AFTER_FRAMESET_IM) {
              !!!cp ('t322');
-             !!!parse-error (type => 'after frameset:'.$token->{tag_name}, token => $token);
+             !!!parse-error (type => 'after frameset',
+                             text => $token->{tag_name}, token => $token);
+           } else { # "after after frameset"
+             !!!cp ('t322.2');
+             !!!parse-error (type => 'after after frameset',
+                             text => $token->{tag_name}, token => $token);
            }
            ## Ignore the token
            !!!nack ('t322.1');
-Line 5832 
 sub _tree_construction_main ($) {
+Line 6740 
 sub _tree_construction_main ($) {
            next B;
          }
        } elsif ($token->{type} == END_TAG_TOKEN) {
-         if ($self->{insertion_mode} == AFTER_HTML_FRAMESET_IM) {
-           !!!cp ('t323');
-           !!!parse-error (type => 'after html:/'.$token->{tag_name}, token => $token);
-           $self->{insertion_mode} = AFTER_FRAMESET_IM;
-           ## Process in the "after frameset" insertion mode.
-         } else {
-           !!!cp ('t324');
-         }
          if ($token->{tag_name} eq 'frameset' and
              $self->{insertion_mode} == IN_FRAMESET_IM) {
            if ($self->{open_elements}->[-1]->[1] & HTML_EL and
                @{$self->{open_elements}} == 1) {
              !!!cp ('t325');
-             !!!parse-error (type => 'unmatched end tag:'.$token->{tag_name}, token => $token);
+             !!!parse-error (type => 'unmatched end tag',
+                             text => $token->{tag_name}, token => $token);
              ## Ignore the token
              !!!next-token;
            } else {
-Line 5873 
 sub _tree_construction_main ($) {
+Line 6772 
 sub _tree_construction_main ($) {
          } else {
            if ($self->{insertion_mode} == IN_FRAMESET_IM) {
              !!!cp ('t330');
-             !!!parse-error (type => 'in frameset:/'.$token->{tag_name}, token => $token);
+             !!!parse-error (type => 'in frameset:/',
-           } else {
+                             text => $token->{tag_name}, token => $token);
+           } elsif ($self->{insertion_mode} == AFTER_FRAMESET_IM) {
+             !!!cp ('t330.1');
+             !!!parse-error (type => 'after frameset:/',
+                             text => $token->{tag_name}, token => $token);
+           } else { # "after after html"
              !!!cp ('t331');
-             !!!parse-error (type => 'after frameset:/'.$token->{tag_name}, token => $token);
+             !!!parse-error (type => 'after after frameset:/',
+                             text => $token->{tag_name}, token => $token);
            }
            ## Ignore the token
            !!!next-token;
-Line 5915 
 sub _tree_construction_main ($) {
+Line 6820 
 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}) { ## TODO: And if supported
+           if ($token->{attributes}->{charset}) {
              !!!cp ('t335');
+             ## NOTE: Whether the encoding is supported or not is handled
+             ## in the {change_encoding} callback.
              $self->{change_encoding}
                  ->($self, $token->{attributes}->{charset}->{value}, $token);
-Line 5940 
 sub _tree_construction_main ($) {
+Line 6847 
 sub _tree_construction_main ($) {
                                       $token->{attributes}->{charset}
                                           ->{has_reference});
            } elsif ($token->{attributes}->{content}) {
-             ## ISSUE: Algorithm name in the spec was incorrect so that not linked to the definition.
              if ($token->{attributes}->{content}->{value}
-                 =~ /\A[^;]*;[\x09-\x0D\x20]*[Cc][Hh][Aa][Rr][Ss][Ee][Tt]
+                 =~ /[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]*))/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.
                $self->{change_encoding}
                    ->($self, defined $1 ? $1 : defined $2 ? $2 : $3, $token);
                $meta_el->[0]->get_attribute_node_ns (undef, 'content')
-Line 5981 
 sub _tree_construction_main ($) {
+Line 6890 
 sub _tree_construction_main ($) {
          $parse_rcdata->(RCDATA_CONTENT_MODEL);
          next B;
        } elsif ($token->{tag_name} eq 'body') {
-         !!!parse-error (type => 'in body:body', token => $token);
+         !!!parse-error (type => 'in body', text => 'body', token => $token);
          if (@{$self->{open_elements}} == 1 or
              not ($self->{open_elements}->[1]->[1] & BODY_EL)) {
-Line 6088 
 sub _tree_construction_main ($) {
+Line 6997 
 sub _tree_construction_main ($) {
              last INSCOPE;
            }
          } # INSCOPE
+         ## 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)
          ## Step 1
          my $i = -1;
-Line 6101 
 sub _tree_construction_main ($) {
+Line 7023 
 sub _tree_construction_main ($) {
              if ($i != -1) {
                !!!cp ('t355');
                !!!parse-error (type => 'not closed',
-                               value => $self->{open_elements}->[-1]->[0]
+                               text => $self->{open_elements}->[-1]->[0]
                                    ->manakai_local_name,
                                token => $token);
              } else {
-Line 6255 
 sub _tree_construction_main ($) {
+Line 7177 
 sub _tree_construction_main ($) {
                  xmp => 1,
                  iframe => 1,
                  noembed => 1,
-                 noframes => 1,
+                 noframes => 1, ## NOTE: This is an "as if in head" code clone.
                  noscript => 0, ## TODO: 1 if scripting is enabled
                 }->{$token->{tag_name}}) {
          if ($token->{tag_name} eq 'xmp') {
-Line 6277 
 sub _tree_construction_main ($) {
+Line 7199 
 sub _tree_construction_main ($) {
            !!!next-token;
            next B;
          } else {
+           !!!ack ('t391.1');
            my $at = $token->{attributes};
            my $form_attrs;
            $form_attrs->{action} = $at->{action} if $at->{action};
-Line 6320 
 sub _tree_construction_main ($) {
+Line 7244 
 sub _tree_construction_main ($) {
                           line => $token->{line}, column => $token->{column}},
                          {type => END_TAG_TOKEN, tag_name => 'form',
                           line => $token->{line}, column => $token->{column}};
-           !!!nack ('t391.1'); ## NOTE: Not acknowledged.
            !!!back-token (@tokens);
            !!!next-token;
            next B;
-Line 6368 
 sub _tree_construction_main ($) {
+Line 7291 
 sub _tree_construction_main ($) {
            ## Ignore the token
          } else {
            !!!cp ('t398');
-           !!!parse-error (type => 'in RCDATA:#'.$token->{type}, token => $token);
+           !!!parse-error (type => 'in RCDATA:#eof', token => $token);
          }
          !!!next-token;
          next 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) {
+             !!!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) {
+               !!!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;
+             }
+             last INSCOPE;
+           } elsif ($node->[1] & SCOPING_EL) {
+             !!!cp ('t398.4');
+             last INSCOPE;
+           }
+         } # INSCOPE
+         !!!insert-element-t ($token->{tag_name}, $token->{attributes}, $token);
+         !!!nack ('t398.5');
+         !!!next-token;
+         redo B;
        } elsif ($token->{tag_name} eq 'math' or
                 $token->{tag_name} eq 'svg') {
          $reconstruct_active_formatting_elements->($insert_to_current);
+         ## "Adjust MathML attributes" ('math' only) - done in insert-element-f
+         ## "adjust SVG attributes" ('svg' only) - done in insert-element-f
+         ## "adjust foreign attributes" - done in insert-element-f
-         !!!insert-element-f ($token->{tag_name} eq 'math' ? $MML_NS : $SVG_NS, $token);
+         !!!insert-element-f ($token->{tag_name} eq 'math' ? $MML_NS : $SVG_NS, $token->{tag_name}, $token->{attributes}, $token);
          if ($self->{self_closing}) {
            pop @{$self->{open_elements}};
-Line 6398 
 sub _tree_construction_main ($) {
+Line 7360 
 sub _tree_construction_main ($) {
                  thead => 1, tr => 1,
                 }->{$token->{tag_name}}) {
          !!!cp ('t401');
-         !!!parse-error (type => 'in body:'.$token->{tag_name}, token => $token);
+         !!!parse-error (type => 'in body',
+                         text => $token->{tag_name}, token => $token);
          ## Ignore the token
          !!!nack ('t401.1'); ## NOTE: |<col/>| or |<frame/>| here is an error.
          !!!next-token;
-Line 6427 
 sub _tree_construction_main ($) {
+Line 7390 
 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 6483 
 sub _tree_construction_main ($) {
+Line 7446 
 sub _tree_construction_main ($) {
            }
            !!!parse-error (type => 'start tag not allowed',
-                           value => $token->{tag_name}, token => $token);
+                           text => $token->{tag_name}, token => $token);
            ## NOTE: Ignore the token.
            !!!next-token;
            next B;
-Line 6493 
 sub _tree_construction_main ($) {
+Line 7456 
 sub _tree_construction_main ($) {
            unless ($_->[1] & ALL_END_TAG_OPTIONAL_EL) {
              !!!cp ('t403');
              !!!parse-error (type => 'not closed',
-                             value => $_->[0]->manakai_local_name,
+                             text => $_->[0]->manakai_local_name,
                              token => $token);
              last;
            } else {
-Line 6513 
 sub _tree_construction_main ($) {
+Line 7476 
 sub _tree_construction_main ($) {
            unless ($self->{open_elements}->[-1]->[1] & BODY_EL) {
              !!!cp ('t406');
              !!!parse-error (type => 'not closed',
-                             value => $self->{open_elements}->[1]->[0]
+                             text => $self->{open_elements}->[1]->[0]
                                  ->manakai_local_name,
                              token => $token);
            } else {
-Line 6524 
 sub _tree_construction_main ($) {
+Line 7487 
 sub _tree_construction_main ($) {
            next B;
          } else {
            !!!cp ('t408');
-           !!!parse-error (type => 'unmatched end tag:'.$token->{tag_name}, token => $token);
+           !!!parse-error (type => 'unmatched end tag',
+                           text => $token->{tag_name}, token => $token);
            ## Ignore the token
            !!!next-token;
            next B;
-Line 6552 
 sub _tree_construction_main ($) {
+Line 7516 
 sub _tree_construction_main ($) {
          unless (defined $i) { # has an element in scope
            !!!cp ('t413');
-           !!!parse-error (type => 'unmatched end tag:'.$token->{tag_name}, token => $token);
+           !!!parse-error (type => 'unmatched end tag',
+                           text => $token->{tag_name}, token => $token);
+           ## NOTE: Ignore the token.
          } else {
            ## Step 1. generate implied end tags
            while ({
+                   ## END_TAG_OPTIONAL_EL
                    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,
                   }->{$self->{open_elements}->[-1]->[0]->manakai_local_name}) {
              !!!cp ('t409');
              pop @{$self->{open_elements}};
-Line 6570 
 sub _tree_construction_main ($) {
+Line 7541 
 sub _tree_construction_main ($) {
                    ne $token->{tag_name}) {
              !!!cp ('t412');
              !!!parse-error (type => 'not closed',
-                             value => $self->{open_elements}->[-1]->[0]
+                             text => $self->{open_elements}->[-1]->[0]
                                  ->manakai_local_name,
                              token => $token);
            } else {
-Line 6607 
 sub _tree_construction_main ($) {
+Line 7578 
 sub _tree_construction_main ($) {
          unless (defined $i) { # has an element in scope
            !!!cp ('t421');
-           !!!parse-error (type => 'unmatched end tag:'.$token->{tag_name}, token => $token);
+           !!!parse-error (type => 'unmatched end tag',
+                           text => $token->{tag_name}, token => $token);
+           ## NOTE: Ignore the token.
          } else {
            ## Step 1. generate implied end tags
            while ($self->{open_elements}->[-1]->[1] & END_TAG_OPTIONAL_EL) {
-Line 6620 
 sub _tree_construction_main ($) {
+Line 7593 
 sub _tree_construction_main ($) {
                    ne $token->{tag_name}) {
              !!!cp ('t417.1');
              !!!parse-error (type => 'not closed',
-                             value => $self->{open_elements}->[-1]->[0]
+                             text => $self->{open_elements}->[-1]->[0]
                                  ->manakai_local_name,
                              token => $token);
            } else {
-Line 6652 
 sub _tree_construction_main ($) {
+Line 7625 
 sub _tree_construction_main ($) {
          unless (defined $i) { # has an element in scope
            !!!cp ('t425.1');
-           !!!parse-error (type => 'unmatched end tag:'.$token->{tag_name}, token => $token);
+           !!!parse-error (type => 'unmatched end tag',
+                           text => $token->{tag_name}, token => $token);
+           ## NOTE: Ignore the token.
          } else {
            ## Step 1. generate implied end tags
            while ($self->{open_elements}->[-1]->[1] & END_TAG_OPTIONAL_EL) {
-Line 6664 
 sub _tree_construction_main ($) {
+Line 7639 
 sub _tree_construction_main ($) {
            if ($self->{open_elements}->[-1]->[0]->manakai_local_name
                    ne $token->{tag_name}) {
              !!!cp ('t425');
-             !!!parse-error (type => 'unmatched end tag:'.$token->{tag_name}, token => $token);
+             !!!parse-error (type => 'unmatched end tag',
+                             text => $token->{tag_name}, token => $token);
            } else {
              !!!cp ('t426');
            }
-Line 6695 
 sub _tree_construction_main ($) {
+Line 7671 
 sub _tree_construction_main ($) {
                    ne $token->{tag_name}) {
              !!!cp ('t412.1');
              !!!parse-error (type => 'not closed',
-                             value => $self->{open_elements}->[-1]->[0]
+                             text => $self->{open_elements}->[-1]->[0]
                                  ->manakai_local_name,
                              token => $token);
            } else {
-Line 6705 
 sub _tree_construction_main ($) {
+Line 7681 
 sub _tree_construction_main ($) {
            splice @{$self->{open_elements}}, $i;
          } else {
            !!!cp ('t413.1');
-           !!!parse-error (type => 'unmatched end tag:'.$token->{tag_name}, token => $token);
+           !!!parse-error (type => 'unmatched end tag',
+                           text => $token->{tag_name}, token => $token);
            !!!cp ('t415.1');
            ## As if <p>, then reprocess the current token
-Line 6720 
 sub _tree_construction_main ($) {
+Line 7697 
 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 6728 
 sub _tree_construction_main ($) {
+Line 7705 
 sub _tree_construction_main ($) {
          next B;
        } elsif ($token->{tag_name} eq 'br') {
          !!!cp ('t428');
-         !!!parse-error (type => 'unmatched end tag:br', token => $token);
+         !!!parse-error (type => 'unmatched end tag',
+                         text => 'br', token => $token);
          ## As if <br>
          $reconstruct_active_formatting_elements->($insert_to_current);
-Line 6753 
 sub _tree_construction_main ($) {
+Line 7731 
 sub _tree_construction_main ($) {
                  noscript => 0, ## TODO: if scripting is enabled
                 }->{$token->{tag_name}}) {
          !!!cp ('t429');
-         !!!parse-error (type => 'unmatched end tag:'.$token->{tag_name}, token => $token);
+         !!!parse-error (type => 'unmatched end tag',
+                         text => $token->{tag_name}, token => $token);
          ## Ignore the token
          !!!next-token;
          next B;
-Line 6772 
 sub _tree_construction_main ($) {
+Line 7751 
 sub _tree_construction_main ($) {
              ## generate implied end tags
              while ($self->{open_elements}->[-1]->[1] & END_TAG_OPTIONAL_EL) {
                !!!cp ('t430');
-               ## ISSUE: Can this case be reached?
+               ## NOTE: |<ruby><rt></ruby>|.
+               ## ISSUE: <ruby><rt></rt> will also take this code path,
+               ## which seems wrong.
                pop @{$self->{open_elements}};
+               $node_i++;
              }
              ## Step 2
-Line 6782 
 sub _tree_construction_main ($) {
+Line 7764 
 sub _tree_construction_main ($) {
                !!!cp ('t431');
                ## NOTE: <x><y></x>
                !!!parse-error (type => 'not closed',
-                               value => $self->{open_elements}->[-1]->[0]
+                               text => $self->{open_elements}->[-1]->[0]
                                    ->manakai_local_name,
                                token => $token);
              } else {
-Line 6790 
 sub _tree_construction_main ($) {
+Line 7772 
 sub _tree_construction_main ($) {
              }
              ## Step 3
-             splice @{$self->{open_elements}}, $node_i;
+             splice @{$self->{open_elements}}, $node_i if $node_i < 0;
              !!!next-token;
              last S2;
-Line 6801 
 sub _tree_construction_main ($) {
+Line 7783 
 sub _tree_construction_main ($) {
                  ($node->[1] & SPECIAL_EL or
                   $node->[1] & SCOPING_EL)) {
                !!!cp ('t433');
-               !!!parse-error (type => 'unmatched end tag:'.$token->{tag_name}, token => $token);
+               !!!parse-error (type => 'unmatched end tag',
+                               text => $token->{tag_name}, token => $token);
                ## 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 6847 
 sub _tree_construction_main ($) {
+Line 7835 
 sub _tree_construction_main ($) {
    ## TODO: script stuffs
  } # _tree_construct_main
- sub set_inner_html ($$$) {
+ sub set_inner_html ($$$$;$) {
    my $class = shift;
    my $node = shift;
-   my $s = \$_[0];
+   #my $s = \$_[0];
    my $onerror = $_[1];
+   my $get_wrapper = $_[2] || sub ($) { return $_[0] };
    ## ISSUE: Should {confident} be true?
-Line 6870 
 sub set_inner_html ($$$) {
+Line 7859 
 sub set_inner_html ($$$) {
      }
      ## Step 3, 4, 5 # MUST
-     $class->parse_string ($$s => $node, $onerror);
+     $class->parse_char_string ($_[0] => $node, $onerror, $get_wrapper);
    } elsif ($nt == 1) {
      ## TODO: If non-html element
      ## NOTE: Most of this code is copied from |parse_string|
+ ## TODO: Support for $get_wrapper
      ## Step 1 # MUST
      my $this_doc = $node->owner_document;
      my $doc = $this_doc->implementation->create_document;
-Line 6887 
 sub set_inner_html ($$$) {
+Line 7878 
 sub set_inner_html ($$$) {
      my $i = 0;
      $p->{line_prev} = $p->{line} = 1;
      $p->{column_prev} = $p->{column} = 0;
-     $p->{set_next_char} = sub {
+     require Whatpm::Charset::DecodeHandle;
+     my $input = Whatpm::Charset::DecodeHandle::CharString->new (\($_[0]));
+     $input = $get_wrapper->($input);
+     $p->{set_nc} = sub {
        my $self = shift;
-       pop @{$self->{prev_char}};
+       my $char = '';
-       unshift @{$self->{prev_char}}, $self->{next_char};
+       if (defined $self->{next_nc}) {
+         $char = $self->{next_nc};
-       $self->{next_char} = -1 and return if $i >= length $$s;
+         delete $self->{next_nc};
-       $self->{next_char} = ord substr $$s, $i++, 1;
+         $self->{nc} = ord $char;
+       } else {
+         $self->{char_buffer} = '';
+         $self->{char_buffer_pos} = 0;
+         my $count = $input->manakai_read_until
+             ($self->{char_buffer}, qr/[^\x00\x0A\x0D]/,
+              $self->{char_buffer_pos});
+         if ($count) {
+           $self->{line_prev} = $self->{line};
+           $self->{column_prev} = $self->{column};
+           $self->{column}++;
+           $self->{nc}
+               = ord substr ($self->{char_buffer},
+                             $self->{char_buffer_pos}++, 1);
+           return;
+         }
+         if ($input->read ($char, 1)) {
+           $self->{nc} = ord $char;
+         } else {
+           $self->{nc} = -1;
+           return;
+         }
+       }
        ($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
-         $i++ if substr ($$s, $i, 1) eq "\x0A";
+ ## TODO: support for abort/streaming
-         $self->{next_char} = 0x000A; # LF # MUST
+         my $next = '';
+         if ($input->read ($next, 1) and $next ne "\x0A") {
+           $self->{next_nc} = $next;
+         }
+         $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
        }
      };
-     $p->{prev_char} = [-1, -1, -1];
-     $p->{next_char} = -1;
+     $p->{read_until} = sub {
+       #my ($scalar, $specials_range, $offset) = @_;
+       return 0 if defined $p->{next_nc};
+       my $pattern = qr/[^$_[1]\x00\x0A\x0D]/;
+       my $offset = $_[2] || 0;
+       if ($p->{char_buffer_pos} < length $p->{char_buffer}) {
+         pos ($p->{char_buffer}) = $p->{char_buffer_pos};
+         if ($p->{char_buffer} =~ /\G(?>$pattern)+/) {
+           substr ($_[0], $offset)
+               = substr ($p->{char_buffer}, $-[0], $+[0] - $-[0]);
+           my $count = $+[0] - $-[0];
+           if ($count) {
+             $p->{column} += $count;
+             $p->{char_buffer_pos} += $count;
+             $p->{line_prev} = $p->{line};
+             $p->{column_prev} = $p->{column} - 1;
+             $p->{nc} = -1;
+           }
+           return $count;
+         } else {
+           return 0;
+         }
+       } else {
+         my $count = $input->manakai_read_until ($_[0], $pattern, $_[2]);
+         if ($count) {
+           $p->{column} += $count;
+           $p->{column_prev} += $count;
+           $p->{nc} = -1;
+         }
+         return $count;
+       }
+     }; # $p->{read_until}
      my $ponerror = $onerror || sub {
        my (%opt) = @_;
        my $line = $opt{line};
-Line 6935 
 sub set_inner_html ($$$) {
+Line 7987 
 sub set_inner_html ($$$) {
        $ponerror->(line => $p->{line}, column => $p->{column}, @_);
      };
+     my $char_onerror = sub {
+       my (undef, $type, %opt) = @_;
+       $ponerror->(layer => 'encode',
+                   line => $p->{line}, column => $p->{column} + 1,
+                   %opt, type => $type);
+     }; # $char_onerror
+     $input->onerror ($char_onerror);
      $p->_initialize_tokenizer;
      $p->_initialize_tree_constructor;

 Legend:



Removed from v.1.127
 


changed lines


 
Added in v.1.194
 Legend:



Removed from v.1.127
 


changed lines


 
Added in v.1.194
-Removed from v.1.127
+Added in v.1.194

[email protected]	ViewVC Help
Powered by ViewVC 1.1.24