/[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.120 by wakaba,
Thu Mar 20 03:57:00 2008 UTC
+revision 1.161 by wakaba,
Wed Sep 10 10:46:50 2008 UTC
 Line 8 
 use Error qw(:try);
  ## 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>;
- my $permitted_slash_tag_name = {
+ my $SVG_NS = q<http://www.w3.org/2000/svg>;
-   base => 1,
+ my $XLINK_NS = q<http://www.w3.org/1999/xlink>;
-   link => 1,
+ my $XML_NS = q<http://www.w3.org/XML/1998/namespace>;
-   meta => 1,
+ my $XMLNS_NS = q<http://www.w3.org/2000/xmlns/>;
-   hr => 1,
-   br => 1,
+ sub A_EL () { 0b1 }
-   img => 1,
+ sub ADDRESS_EL () { 0b10 }
-   embed => 1,
+ sub BODY_EL () { 0b100 }
-   param => 1,
+ sub BUTTON_EL () { 0b1000 }
-   area => 1,
+ sub CAPTION_EL () { 0b10000 }
-   col => 1,
+ sub DD_EL () { 0b100000 }
-   input => 1,
+ sub DIV_EL () { 0b1000000 }
+ sub DT_EL () { 0b10000000 }
+ sub FORM_EL () { 0b100000000 }
+ sub FORMATTING_EL () { 0b1000000000 }
+ sub FRAMESET_EL () { 0b10000000000 }
+ sub HEADING_EL () { 0b100000000000 }
+ sub HTML_EL () { 0b1000000000000 }
+ sub LI_EL () { 0b10000000000000 }
+ sub NOBR_EL () { 0b100000000000000 }
+ sub OPTION_EL () { 0b1000000000000000 }
+ sub OPTGROUP_EL () { 0b10000000000000000 }
+ sub P_EL () { 0b100000000000000000 }
+ sub SELECT_EL () { 0b1000000000000000000 }
+ sub TABLE_EL () { 0b10000000000000000000 }
+ sub TABLE_CELL_EL () { 0b100000000000000000000 }
+ sub TABLE_ROW_EL () { 0b1000000000000000000000 }
+ sub TABLE_ROW_GROUP_EL () { 0b10000000000000000000000 }
+ sub MISC_SCOPING_EL () { 0b100000000000000000000000 }
+ sub MISC_SPECIAL_EL () { 0b1000000000000000000000000 }
+ sub FOREIGN_EL () { 0b10000000000000000000000000 }
+ sub FOREIGN_FLOW_CONTENT_EL () { 0b100000000000000000000000000 }
+ sub MML_AXML_EL () { 0b1000000000000000000000000000 }
+ sub RUBY_EL () { 0b10000000000000000000000000000 }
+ sub RUBY_COMPONENT_EL () { 0b100000000000000000000000000000 }
+ sub TABLE_ROWS_EL () {
+   TABLE_EL |
+   TABLE_ROW_EL |
+   TABLE_ROW_GROUP_EL
+ }
+ ## NOTE: Used in "generate implied end tags" algorithm.
+ ## 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
+ ## function mae).
+ sub END_TAG_OPTIONAL_EL () {
+   DD_EL |
+   DT_EL |
+   LI_EL |
+   P_EL |
+   RUBY_COMPONENT_EL
+ }
+ ## NOTE: Used in </body> and EOF algorithms.
+ sub ALL_END_TAG_OPTIONAL_EL () {
+   DD_EL |
+   DT_EL |
+   LI_EL |
+   P_EL |
+   BODY_EL |
+   HTML_EL |
+   TABLE_CELL_EL |
+   TABLE_ROW_EL |
+   TABLE_ROW_GROUP_EL
+ }
+ sub SCOPING_EL () {
+   BUTTON_EL |
+   CAPTION_EL |
+   HTML_EL |
+   TABLE_EL |
+   TABLE_CELL_EL |
+   MISC_SCOPING_EL
+ }
+ sub TABLE_SCOPING_EL () {
+   HTML_EL |
+   TABLE_EL
+ }
+ sub TABLE_ROWS_SCOPING_EL () {
+   HTML_EL |
+   TABLE_ROW_GROUP_EL
+ }
+ sub TABLE_ROW_SCOPING_EL () {
+   HTML_EL |
+   TABLE_ROW_EL
+ }
+ sub SPECIAL_EL () {
+   ADDRESS_EL |
+   BODY_EL |
+   DIV_EL |
+   DD_EL |
+   DT_EL |
+   LI_EL |
+   P_EL |
+   FORM_EL |
+   FRAMESET_EL |
+   HEADING_EL |
+   OPTION_EL |
+   OPTGROUP_EL |
+   SELECT_EL |
+   TABLE_ROW_EL |
+   TABLE_ROW_GROUP_EL |
+   MISC_SPECIAL_EL
+ }
+ my $el_category = {
+   a => A_EL | FORMATTING_EL,
+   address => ADDRESS_EL,
+   applet => MISC_SCOPING_EL,
+   area => MISC_SPECIAL_EL,
+   b => FORMATTING_EL,
+   base => MISC_SPECIAL_EL,
+   basefont => MISC_SPECIAL_EL,
+   bgsound => MISC_SPECIAL_EL,
+   big => FORMATTING_EL,
+   blockquote => MISC_SPECIAL_EL,
+   body => BODY_EL,
+   br => MISC_SPECIAL_EL,
+   button => BUTTON_EL,
+   caption => CAPTION_EL,
+   center => MISC_SPECIAL_EL,
+   col => MISC_SPECIAL_EL,
+   colgroup => MISC_SPECIAL_EL,
+   dd => DD_EL,
+   dir => MISC_SPECIAL_EL,
+   div => DIV_EL,
+   dl => MISC_SPECIAL_EL,
+   dt => DT_EL,
+   em => FORMATTING_EL,
+   embed => MISC_SPECIAL_EL,
+   fieldset => MISC_SPECIAL_EL,
+   font => FORMATTING_EL,
+   form => FORM_EL,
+   frame => MISC_SPECIAL_EL,
+   frameset => FRAMESET_EL,
+   h1 => HEADING_EL,
+   h2 => HEADING_EL,
+   h3 => HEADING_EL,
+   h4 => HEADING_EL,
+   h5 => HEADING_EL,
+   h6 => HEADING_EL,
+   head => MISC_SPECIAL_EL,
+   hr => MISC_SPECIAL_EL,
+   html => HTML_EL,
+   i => FORMATTING_EL,
+   iframe => MISC_SPECIAL_EL,
+   img => MISC_SPECIAL_EL,
+   input => MISC_SPECIAL_EL,
+   isindex => MISC_SPECIAL_EL,
+   li => LI_EL,
+   link => MISC_SPECIAL_EL,
+   listing => MISC_SPECIAL_EL,
+   marquee => MISC_SCOPING_EL,
+   menu => MISC_SPECIAL_EL,
+   meta => MISC_SPECIAL_EL,
+   nobr => NOBR_EL | FORMATTING_EL,
+   noembed => MISC_SPECIAL_EL,
+   noframes => MISC_SPECIAL_EL,
+   noscript => MISC_SPECIAL_EL,
+   object => MISC_SCOPING_EL,
+   ol => MISC_SPECIAL_EL,
+   optgroup => OPTGROUP_EL,
+   option => OPTION_EL,
+   p => P_EL,
+   param => MISC_SPECIAL_EL,
+   plaintext => MISC_SPECIAL_EL,
+   pre => MISC_SPECIAL_EL,
+   rp => RUBY_COMPONENT_EL,
+   rt => RUBY_COMPONENT_EL,
+   ruby => RUBY_EL,
+   s => FORMATTING_EL,
+   script => MISC_SPECIAL_EL,
+   select => SELECT_EL,
+   small => FORMATTING_EL,
+   spacer => MISC_SPECIAL_EL,
+   strike => FORMATTING_EL,
+   strong => FORMATTING_EL,
+   style => MISC_SPECIAL_EL,
+   table => TABLE_EL,
+   tbody => TABLE_ROW_GROUP_EL,
+   td => TABLE_CELL_EL,
+   textarea => MISC_SPECIAL_EL,
+   tfoot => TABLE_ROW_GROUP_EL,
+   th => TABLE_CELL_EL,
+   thead => TABLE_ROW_GROUP_EL,
+   title => MISC_SPECIAL_EL,
+   tr => TABLE_ROW_EL,
+   tt => FORMATTING_EL,
+   u => FORMATTING_EL,
+   ul => MISC_SPECIAL_EL,
+   wbr => MISC_SPECIAL_EL,
+ };
+ my $el_category_f = {
+   $MML_NS => {
+     'annotation-xml' => MML_AXML_EL,
+     mi => FOREIGN_FLOW_CONTENT_EL,
+     mo => FOREIGN_FLOW_CONTENT_EL,
+     mn => FOREIGN_FLOW_CONTENT_EL,
+     ms => FOREIGN_FLOW_CONTENT_EL,
+     mtext => FOREIGN_FLOW_CONTENT_EL,
+   },
+   $SVG_NS => {
+     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 $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 $c1_entity_char = {
 x80 => 0x20AC,
 x81 => 0xFFFD,
-Line 61 
 my $c1_entity_char = {
+Line 347 
 my $c1_entity_char = {
 x9F => 0x0178,
  }; # $c1_entity_char
- my $special_category = {
-   address => 1, area => 1, base => 1, basefont => 1, bgsound => 1,
-   blockquote => 1, body => 1, br => 1, center => 1, col => 1, colgroup => 1,
-   dd => 1, dir => 1, div => 1, dl => 1, dt => 1, embed => 1, fieldset => 1,
-   form => 1, frame => 1, frameset => 1, h1 => 1, h2 => 1, h3 => 1,
-   h4 => 1, h5 => 1, h6 => 1, head => 1, hr => 1, iframe => 1, image => 1,
-   img => 1, input => 1, isindex => 1, li => 1, link => 1, listing => 1,
-   menu => 1, meta => 1, noembed => 1, noframes => 1, noscript => 1,
-   ol => 1, optgroup => 1, option => 1, p => 1, param => 1, plaintext => 1,
-   pre => 1, script => 1, select => 1, spacer => 1, style => 1, tbody => 1,
-   textarea => 1, tfoot => 1, thead => 1, title => 1, tr => 1, ul => 1, wbr => 1,
- };
- my $scoping_category = {
-   applet => 1, button => 1, caption => 1, html => 1, marquee => 1, object => 1,
-   table => 1, td => 1, th => 1,
- };
- my $formatting_category = {
-   a => 1, b => 1, big => 1, em => 1, font => 1, i => 1, nobr => 1,
-   s => 1, small => 1, strile => 1, strong => 1, tt => 1, u => 1,
- };
- # $phrasing_category: all other elements
  sub parse_byte_string ($$$$;$) {
+   my $self = 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 = 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;
-   if (defined $charset) {
-     require Encode; ## TODO: decode(utf8) don't delete BOM
-     $s = \ (Encode::decode ($charset, $$bytes_s));
-     $self->{input_encoding} = lc $charset; ## TODO: normalize name
-     $self->{confident} = 1;
-   } else {
-     ## TODO: Implement HTML5 detection algorithm
-     require Whatpm::Charset::UniversalCharDet;
-     $charset = Whatpm::Charset::UniversalCharDet->detect_byte_string
-         (substr ($$bytes_s, 0, 1024));
-     $charset ||= 'windows-1252';
-     $s = \ (Encode::decode ($charset, $$bytes_s));
-     $self->{input_encoding} = $charset;
-     $self->{confident} = 0;
-   }
-   $self->{change_encoding} = sub {
+   my $onerror = $_[2] || sub {
-     my $self = shift;
+     my (%opt) = @_;
-     my $charset = lc shift;
+     warn "Parse error ($opt{type})\n";
-     my $token = shift;
+   };
-     ## TODO: if $charset is supported
+   $self->{parse_error} = $onerror; # updated later by parse_char_string
-     ## TODO: normalize charset name
-     ## "Change the encoding" algorithm:
+   ## 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 ($charset eq 'utf-16') { ## ISSUE: UTF-16BE -> UTF-8? UTF-16LE -> UTF-8?
+     if (defined $charset_name) {
-       $charset = 'utf-8';
+       $charset = Message::Charset::Info->get_by_html_name ($charset_name);
+           ## TODO: Is this ok?  Transfer protocol's parameter should be
+           ## interpreted in its semantics?
+       ## ISSUE: Unsupported encoding is not ignored according to the spec.
+       ($char_stream, $e_status) = $charset->get_decode_handle
+           ($byte_stream, allow_error_reporting => 1,
+            allow_fallback => 1);
+       if ($char_stream) {
+         $self->{confident} = 1;
+         last SNIFFING;
+       } else {
+         ## TODO: unsupported error
+       }
      }
      ## Step 2
-     if (defined $self->{input_encoding} and
+     my $byte_buffer = '';
-         $self->{input_encoding} eq $charset) {
+     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;
-       return;
+       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;
      }
-     !!!parse-error (type => 'charset label detected:'.$self->{input_encoding}.
+     ## Step 4
-         ':'.$charset, level => 'w', token => $token);
+     ## TODO: <meta charset>
-     ## Step 3
+     ## Step 5
-     # if (can) {
+     ## TODO: from history
-       ## change the encoding on the fly.
-       #$self->{confident} = 1;
-       #return;
-     # }
-     ## Step 4
+     ## Step 6
-     throw Whatpm::HTML::RestartParser (charset => $charset);
+     require Whatpm::Charset::UniversalCharDet;
+     $charset_name = Whatpm::Charset::UniversalCharDet->detect_byte_string
+         ($byte_buffer);
+     if (defined $charset_name) {
+       $charset = Message::Charset::Info->get_by_html_name ($charset_name);
+       ## ISSUE: Unsupported encoding is not ignored according to the spec.
+       require Whatpm::Charset::DecodeHandle;
+       $buffer = Whatpm::Charset::DecodeHandle::ByteBuffer->new
+           ($byte_stream);
+       ($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;
+     $charset_name = shift;
+     my $token = shift;
+     $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
+       if ($charset->{category} &
+           Message::Charset::Info::CHARSET_CATEGORY_UTF16 ()) {
+         $charset = Message::Charset::Info->get_by_html_name ('utf-8');
+         ($char_stream, $e_status) = $charset->get_decode_handle
+             ($byte_stream,
+              byte_buffer => \ $buffer->{buffer});
+       }
+       $charset_name = $charset->get_iana_name;
+       ## Step 2
+       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;
+       }
+       !!!parse-error (type => 'charset label detected',
+                       text => $self->{input_encoding},
+                       value => $charset_name,
+                       level => $self->{level}->{warn},
+                       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}
+   my $char_onerror = sub {
+     my (undef, $type, %opt) = @_;
+     !!!parse-error (layer => 'encode',
+                     %opt, type => $type,
+                     line => $self->{line}, column => $self->{column} + 1);
+     if ($opt{octets}) {
+       ${$opt{octets}} = "\x{FFFD}"; # relacement character
+     }
+   };
+   $char_stream->onerror ($char_onerror);
    my @args = @_; shift @args; # $s
    my $return;
    try {
-     $return = $self->parse_char_string ($s, @args);
+     $return = $self->parse_char_stream ($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);
+     $char_stream->onerror ($char_onerror);
+     $return = $self->parse_char_stream ($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 163 
 sub parse_byte_string ($$$$;$) {
+Line 605 
 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 = shift;
+   require utf8;
+   my $s = ref $_[0] ? $_[0] : \($_[0]);
+   open my $input, '<' . (utf8::is_utf8 ($$s) ? ':utf8' : ''), $s;
+   return $self->parse_char_stream ($input, @_[1..$#_]);
+ } # parse_char_string
+ *parse_string = \&parse_char_string;
- 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 186 
 sub parse_string ($$$;$) {
+Line 635 
 sub parse_string ($$$;$) {
      pop @{$self->{prev_char}};
      unshift @{$self->{prev_char}}, $self->{next_char};
-     $self->{next_char} = -1 and return if $i >= length $$s;
+     my $char;
-     $self->{next_char} = ord substr $$s, $i++, 1;
+     if (defined $self->{next_next_char}) {
+       $char = $self->{next_next_char};
+       delete $self->{next_next_char};
+     } else {
+       $char = $input->getc;
+     }
+     $self->{next_char} = -1 and return unless defined $char;
+     $self->{next_char} = ord $char;
      ($self->{line_prev}, $self->{column_prev})
          = ($self->{line}, $self->{column});
      $self->{column}++;
      if ($self->{next_char} == 0x000A) { # LF
+       !!!cp ('j1');
        $self->{line}++;
        $self->{column} = 0;
      } elsif ($self->{next_char} == 0x000D) { # CR
-       $i++ if substr ($$s, $i, 1) eq "\x0A";
+       !!!cp ('j2');
+       my $next = $input->getc;
+       if (defined $next and $next ne "\x0A") {
+         $self->{next_next_char} = $next;
+       }
        $self->{next_char} = 0x000A; # LF # MUST
        $self->{line}++;
        $self->{column} = 0;
      } elsif ($self->{next_char} > 0x10FFFF) {
+       !!!cp ('j3');
        $self->{next_char} = 0xFFFD; # REPLACEMENT CHARACTER # MUST
      } elsif ($self->{next_char} == 0x0000) { # NULL
+       !!!cp ('j4');
        !!!parse-error (type => 'NULL');
        $self->{next_char} = 0xFFFD; # REPLACEMENT CHARACTER # MUST
+     } elsif ($self->{next_char} <= 0x0008 or
+              (0x000E <= $self->{next_char} and $self->{next_char} <= 0x001F) or
+              (0x007F <= $self->{next_char} and $self->{next_char} <= 0x009F) or
+              (0xD800 <= $self->{next_char} and $self->{next_char} <= 0xDFFF) or
+              (0xFDD0 <= $self->{next_char} and $self->{next_char} <= 0xFDDF) or
+              {
+xFFFE => 1, 0xFFFF => 1, 0x1FFFE => 1, 0x1FFFF => 1,
+x2FFFE => 1, 0x2FFFF => 1, 0x3FFFE => 1, 0x3FFFF => 1,
+x4FFFE => 1, 0x4FFFF => 1, 0x5FFFE => 1, 0x5FFFF => 1,
+x6FFFE => 1, 0x6FFFF => 1, 0x7FFFE => 1, 0x7FFFF => 1,
+x8FFFE => 1, 0x8FFFF => 1, 0x9FFFE => 1, 0x9FFFF => 1,
+xAFFFE => 1, 0xAFFFF => 1, 0xBFFFE => 1, 0xBFFFF => 1,
+xCFFFE => 1, 0xCFFFF => 1, 0xDFFFE => 1, 0xDFFFF => 1,
+xEFFFE => 1, 0xEFFFF => 1, 0xFFFFE => 1, 0xFFFFF => 1,
+x10FFFE => 1, 0x10FFFF => 1,
+              }->{$self->{next_char}}) {
+       !!!cp ('j5');
+       if ($self->{next_char} < 0x10000) {
+         !!!parse-error (type => 'control char',
+                         text => (sprintf 'U+%04X', $self->{next_char}));
+       } else {
+         !!!parse-error (type => 'control char',
+                         text => (sprintf 'U-%08X', $self->{next_char}));
+       }
      }
    };
    $self->{prev_char} = [-1, -1, -1];
-Line 229 
 sub parse_string ($$$;$) {
+Line 716 
 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 {
+     level => {must => 'm',
+               should => 's',
+               warn => 'w',
+               info => 'i',
+               uncertain => 'u'},
+   }, $class;
    $self->{set_next_char} = sub {
      $self->{next_char} = -1;
    };
-Line 295 
 sub DOCTYPE_SYSTEM_IDENTIFIER_SINGLE_QUO
+Line 788 
 sub DOCTYPE_SYSTEM_IDENTIFIER_SINGLE_QUO
  sub AFTER_DOCTYPE_SYSTEM_IDENTIFIER_STATE () { 31 }
  sub BOGUS_DOCTYPE_STATE () { 32 }
  sub AFTER_ATTRIBUTE_VALUE_QUOTED_STATE () { 33 }
+ sub SELF_CLOSING_START_TAG_STATE () { 34 }
+ sub CDATA_BLOCK_STATE () { 35 }
  sub DOCTYPE_TOKEN () { 1 }
  sub COMMENT_TOKEN () { 2 }
-Line 312 
 sub ROW_IMS ()        { 0b10000000 }
+Line 807 
 sub ROW_IMS ()        { 0b10000000 }
  sub BODY_AFTER_IMS () { 0b100000000 }
  sub FRAME_IMS ()      { 0b1000000000 }
  sub SELECT_IMS ()     { 0b10000000000 }
+ sub IN_FOREIGN_CONTENT_IM () { 0b100000000000 }
+     ## NOTE: "in foreign content" insertion mode is special; it is combined
+     ## with the secondary insertion mode.  In this parser, they are stored
+     ## together in the bit-or'ed form.
  ## NOTE: "initial" and "before html" insertion modes have no constants.
-Line 348 
 sub _initialize_tokenizer ($) {
+Line 847 
 sub _initialize_tokenizer ($) {
    undef $self->{current_attribute};
    undef $self->{last_emitted_start_tag_name};
    undef $self->{last_attribute_value_state};
+   delete $self->{self_closing};
    $self->{char} = [];
    # $self->{next_char}
    !!!next-input-character;
-Line 368 
 sub _initialize_tokenizer ($) {
+Line 868 
 sub _initialize_tokenizer ($) {
  ##        ->{value}
  ##        ->{has_reference} == 1 or 0
  ##   ->{data} (COMMENT_TOKEN, CHARACTER_TOKEN)
+ ## NOTE: The "self-closing flag" is hold as |$self->{self_closing}|.
+ ##     |->{self_closing}| is used to save the value of |$self->{self_closing}|
+ ##     while the token is pushed back to the stack.
  ## Emitted token MUST immediately be handled by the tree construction state.
-Line 394 
 sub _initialize_tokenizer ($) {
+Line 897 
 sub _initialize_tokenizer ($) {
  sub _get_next_token ($) {
    my $self = shift;
+   if ($self->{self_closing}) {
+     !!!parse-error (type => 'nestc', token => $self->{current_token});
+     ## NOTE: The |self_closing| flag is only set by start tag token.
+     ## In addition, when a start tag token is emitted, it is always set to
+     ## |current_token|.
+     delete $self->{self_closing};
+   }
    if (@{$self->{token}}) {
+     $self->{self_closing} = $self->{token}->[0]->{self_closing};
      return shift @{$self->{token}};
    }
-Line 574 
 sub _get_next_token ($) {
+Line 1087 
 sub _get_next_token ($) {
            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 765 
 sub _get_next_token ($) {
+Line 1280 
 sub _get_next_token ($) {
          redo A;
        } elsif ($self->{next_char} == 0x002F) { # /
+         !!!cp (42);
+         $self->{state} = SELF_CLOSING_START_TAG_STATE;
          !!!next-input-character;
-         if ($self->{next_char} == 0x003E and # >
-             $self->{current_token}->{type} == START_TAG_TOKEN and
-             $permitted_slash_tag_name->{$self->{current_token}->{tag_name}}) {
-           # permitted slash
-           !!!cp (42);
-           #
-         } else {
-           !!!cp (43);
-           !!!parse-error (type => 'nestc');
-         }
-         $self->{state} = BEFORE_ATTRIBUTE_NAME_STATE;
-         # next-input-character is already done
          redo A;
        } else {
          !!!cp (44);
-Line 829 
 sub _get_next_token ($) {
+Line 1334 
 sub _get_next_token ($) {
          !!!next-input-character;
          redo A;
        } elsif ($self->{next_char} == 0x002F) { # /
+         !!!cp (50);
+         $self->{state} = SELF_CLOSING_START_TAG_STATE;
          !!!next-input-character;
-         if ($self->{next_char} == 0x003E and # >
-             $self->{current_token}->{type} == START_TAG_TOKEN and
-             $permitted_slash_tag_name->{$self->{current_token}->{tag_name}}) {
-           # permitted slash
-           !!!cp (50);
-           #
-         } else {
-           !!!cp (51);
-           !!!parse-error (type => 'nestc');
-         }
-         ## Stay in the state
-         # next-input-character is already done
          redo A;
        } elsif ($self->{next_char} == -1) {
          !!!parse-error (type => 'unclosed tag');
-Line 889 
 sub _get_next_token ($) {
+Line 1384 
 sub _get_next_token ($) {
          if (exists $self->{current_token}->{attributes} # start tag or end tag
              ->{$self->{current_attribute}->{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->{current_attribute}->{name}, line => $self->{current_attribute}->{line}, column => $self->{current_attribute}->{column});
            ## Discard $self->{current_attribute} # MUST
          } else {
            !!!cp (58);
-Line 942 
 sub _get_next_token ($) {
+Line 1437 
 sub _get_next_token ($) {
          !!!next-input-character;
          redo A;
        } elsif ($self->{next_char} == 0x002F) { # /
+         !!!cp (64);
          $before_leave->();
+         $self->{state} = SELF_CLOSING_START_TAG_STATE;
          !!!next-input-character;
-         if ($self->{next_char} == 0x003E and # >
-             $self->{current_token}->{type} == START_TAG_TOKEN and
-             $permitted_slash_tag_name->{$self->{current_token}->{tag_name}}) {
-           # permitted slash
-           !!!cp (64);
-           #
-         } else {
-           !!!cp (65);
-           !!!parse-error (type => 'nestc');
-         }
-         $self->{state} = BEFORE_ATTRIBUTE_NAME_STATE;
-         # next-input-character is already done
          redo A;
        } elsif ($self->{next_char} == -1) {
          !!!parse-error (type => 'unclosed tag');
-Line 1042 
 sub _get_next_token ($) {
+Line 1527 
 sub _get_next_token ($) {
          !!!next-input-character;
          redo A;
        } elsif ($self->{next_char} == 0x002F) { # /
+         !!!cp (77);
+         $self->{state} = SELF_CLOSING_START_TAG_STATE;
          !!!next-input-character;
-         if ($self->{next_char} == 0x003E and # >
-             $self->{current_token}->{type} == START_TAG_TOKEN and
-             $permitted_slash_tag_name->{$self->{current_token}->{tag_name}}) {
-           # permitted slash
-           !!!cp (77);
-           #
-         } else {
-           !!!cp (78);
-           !!!parse-error (type => 'nestc');
-           ## TODO: Different error type for <aa / bb> than <aa/>
-         }
-         $self->{state} = BEFORE_ATTRIBUTE_NAME_STATE;
-         # next-input-character is already done
          redo A;
        } elsif ($self->{next_char} == -1) {
          !!!parse-error (type => 'unclosed tag');
-Line 1081 
 sub _get_next_token ($) {
+Line 1555 
 sub _get_next_token ($) {
          redo A;
        } else {
-         !!!cp (82);
+         if ($self->{next_char} == 0x0022 or # "
+             $self->{next_char} == 0x0027) { # '
+           !!!cp (78);
+           !!!parse-error (type => 'bad attribute name');
+         } else {
+           !!!cp (82);
+         }
          $self->{current_attribute}
              = {name => chr ($self->{next_char}),
                 value => '',
-Line 1116 
 sub _get_next_token ($) {
+Line 1596 
 sub _get_next_token ($) {
          !!!next-input-character;
          redo A;
        } elsif ($self->{next_char} == 0x003E) { # >
+         !!!parse-error (type => 'empty unquoted attribute value');
          if ($self->{current_token}->{type} == START_TAG_TOKEN) {
            !!!cp (87);
            $self->{last_emitted_start_tag_name} = $self->{current_token}->{tag_name};
-Line 1388 
 sub _get_next_token ($) {
+Line 1869 
 sub _get_next_token ($) {
          redo A;
        } elsif ($self->{next_char} == 0x002F) { # /
+         !!!cp (122);
+         $self->{state} = SELF_CLOSING_START_TAG_STATE;
          !!!next-input-character;
-         if ($self->{next_char} == 0x003E and # >
+         redo A;
-             $self->{current_token}->{type} == START_TAG_TOKEN and
+       } elsif ($self->{next_char} == -1) {
-             $permitted_slash_tag_name->{$self->{current_token}->{tag_name}}) {
+         !!!parse-error (type => 'unclosed tag');
-           # permitted slash
+         if ($self->{current_token}->{type} == START_TAG_TOKEN) {
-           !!!cp (122);
+           !!!cp (122.3);
-           #
+           $self->{last_emitted_start_tag_name} = $self->{current_token}->{tag_name};
+         } elsif ($self->{current_token}->{type} == END_TAG_TOKEN) {
+           if ($self->{current_token}->{attributes}) {
+             !!!cp (122.1);
+             !!!parse-error (type => 'end tag attribute');
+           } else {
+             ## NOTE: This state should never be reached.
+             !!!cp (122.2);
+           }
          } else {
-           !!!cp (123);
+           die "$0: $self->{current_token}->{type}: Unknown token type";
-           !!!parse-error (type => 'nestc');
          }
-         $self->{state} = BEFORE_ATTRIBUTE_NAME_STATE;
+         $self->{state} = DATA_STATE;
-         # next-input-character is already done
+         ## Reconsume.
+         !!!emit ($self->{current_token}); # start tag or end tag
          redo A;
        } else {
-         !!!cp (124);
+         !!!cp ('124.1');
          !!!parse-error (type => 'no space between attributes');
          $self->{state} = BEFORE_ATTRIBUTE_NAME_STATE;
          ## reconsume
          redo A;
        }
+     } elsif ($self->{state} == SELF_CLOSING_START_TAG_STATE) {
+       if ($self->{next_char} == 0x003E) { # >
+         if ($self->{current_token}->{type} == END_TAG_TOKEN) {
+           !!!cp ('124.2');
+           !!!parse-error (type => 'nestc', token => $self->{current_token});
+           ## TODO: Different type than slash in start tag
+           $self->{content_model} = PCDATA_CONTENT_MODEL; # MUST
+           if ($self->{current_token}->{attributes}) {
+             !!!cp ('124.4');
+             !!!parse-error (type => 'end tag attribute');
+           } else {
+             !!!cp ('124.5');
+           }
+           ## TODO: Test |<title></title/>|
+         } else {
+           !!!cp ('124.3');
+           $self->{self_closing} = 1;
+         }
+         $self->{state} = DATA_STATE;
+         !!!next-input-character;
+         !!!emit ($self->{current_token}); # start tag or end tag
+         redo A;
+       } elsif ($self->{next_char} == -1) {
+         !!!parse-error (type => 'unclosed tag');
+         if ($self->{current_token}->{type} == START_TAG_TOKEN) {
+           !!!cp (124.7);
+           $self->{last_emitted_start_tag_name} = $self->{current_token}->{tag_name};
+         } elsif ($self->{current_token}->{type} == END_TAG_TOKEN) {
+           if ($self->{current_token}->{attributes}) {
+             !!!cp (124.5);
+             !!!parse-error (type => 'end tag attribute');
+           } else {
+             ## NOTE: This state should never be reached.
+             !!!cp (124.6);
+           }
+         } else {
+           die "$0: $self->{current_token}->{type}: Unknown token type";
+         }
+         $self->{state} = DATA_STATE;
+         ## Reconsume.
+         !!!emit ($self->{current_token}); # start tag or end tag
+         redo A;
+       } else {
+         !!!cp ('124.4');
+         !!!parse-error (type => 'nestc');
+         ## TODO: This error type is wrong.
+         $self->{state} = BEFORE_ATTRIBUTE_NAME_STATE;
+         ## Reconsume.
+         redo A;
+       }
      } elsif ($self->{state} == BOGUS_COMMENT_STATE) {
        ## (only happen if PCDATA state)
-Line 1516 
 sub _get_next_token ($) {
+Line 2060 
 sub _get_next_token ($) {
          } else {
            !!!cp (135);
          }
+       } elsif ($self->{insertion_mode} & IN_FOREIGN_CONTENT_IM and
+                $self->{open_elements}->[-1]->[1] & FOREIGN_EL and
+                $self->{next_char} == 0x005B) { # [
+         !!!next-input-character;
+         push @next_char, $self->{next_char};
+         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);
        }
-Line 2115 
 sub _get_next_token ($) {
+Line 2702 
 sub _get_next_token ($) {
          redo A;
        } elsif ($self->{next_char} == 0x003E) { # >
          !!!cp (208);
-         !!!parse-error (type => 'unclosed PUBLIC literal');
+         !!!parse-error (type => 'unclosed SYSTEM literal');
          $self->{state} = DATA_STATE;
          !!!next-input-character;
-Line 2151 
 sub _get_next_token ($) {
+Line 2738 
 sub _get_next_token ($) {
          redo A;
        } elsif ($self->{next_char} == 0x003E) { # >
          !!!cp (212);
-         !!!parse-error (type => 'unclosed PUBLIC literal');
+         !!!parse-error (type => 'unclosed SYSTEM literal');
          $self->{state} = DATA_STATE;
          !!!next-input-character;
-Line 2199 
 sub _get_next_token ($) {
+Line 2786 
 sub _get_next_token ($) {
        } elsif ($self->{next_char} == -1) {
          !!!cp (217);
          !!!parse-error (type => 'unclosed DOCTYPE');
          $self->{state} = DATA_STATE;
          ## reconsume
-Line 2240 
 sub _get_next_token ($) {
+Line 2826 
 sub _get_next_token ($) {
          !!!next-input-character;
          redo A;
        }
+     } elsif ($self->{state} == CDATA_BLOCK_STATE) {
+       my $s = '';
+       my ($l, $c) = ($self->{line}, $self->{column});
+       CS: while ($self->{next_char} != -1) {
+         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
+       $self->{state} = DATA_STATE;
+       ## next-input-character done or EOF, which is reconsumed.
+       if (length $s) {
+         !!!cp (221.6);
+         !!!emit ({type => CHARACTER_TOKEN, data => $s,
+                   line => $l, column => $c});
+       } else {
+         !!!cp (221.7);
+       }
+       redo A;
+       ## ISSUE: "text tokens" in spec.
+       ## TODO: Streaming support
      } else {
        die "$0: $self->{state}: Unknown state";
      }
-Line 2307 
 sub _tokenize_attempt_to_consume_an_enti
+Line 2947 
 sub _tokenize_attempt_to_consume_an_enti
          if ($code == 0 or (0xD800 <= $code and $code <= 0xDFFF)) {
            !!!cp (1008);
-           !!!parse-error (type => (sprintf 'invalid character reference:U+%04X', $code), line => $l, column => $c);
+           !!!parse-error (type => 'invalid character reference',
+                           text => (sprintf 'U+%04X', $code),
+                           line => $l, column => $c);
            $code = 0xFFFD;
          } elsif ($code > 0x10FFFF) {
            !!!cp (1009);
-           !!!parse-error (type => (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 (1010);
-Line 2319 
 sub _tokenize_attempt_to_consume_an_enti
+Line 2963 
 sub _tokenize_attempt_to_consume_an_enti
            $code = 0x000A;
          } elsif (0x80 <= $code and $code <= 0x9F) {
            !!!cp (1011);
-           !!!parse-error (type => (sprintf 'C1 character reference:U+%04X', $code), line => $l, column => $c);
+           !!!parse-error (type => 'C1 character reference', text => (sprintf 'U+%04X', $code), line => $l, column => $c);
            $code = $c1_entity_char->{$code};
          }
-Line 2352 
 sub _tokenize_attempt_to_consume_an_enti
+Line 2996 
 sub _tokenize_attempt_to_consume_an_enti
        if ($code == 0 or (0xD800 <= $code and $code <= 0xDFFF)) {
          !!!cp (1015);
-         !!!parse-error (type => (sprintf 'invalid character reference:U+%04X', $code), line => $l, column => $c);
+         !!!parse-error (type => 'invalid character reference',
+                         text => (sprintf 'U+%04X', $code),
+                         line => $l, column => $c);
          $code = 0xFFFD;
        } elsif ($code > 0x10FFFF) {
          !!!cp (1016);
-         !!!parse-error (type => (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);
+         !!!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);
+         !!!parse-error (type => 'C1 character reference',
+                         text => (sprintf 'U+%04X', $code),
+                         line => $l, column => $c);
          $code = $c1_entity_char->{$code};
        }
-Line 2390 
 sub _tokenize_attempt_to_consume_an_enti
+Line 3041 
 sub _tokenize_attempt_to_consume_an_enti
      require Whatpm::_NamedEntityList;
      our $EntityChar;
-     while (length $entity_name < 10 and
+     while (length $entity_name < 30 and
             ## NOTE: Some number greater than the maximum length of entity name
             ((0x0041 <= $self->{next_char} and # a
               $self->{next_char} <= 0x005A) or # x
-Line 2462 
 sub _initialize_tree_constructor ($) {
+Line 3113 
 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 2516 
 sub _tree_construction_initial ($) {
+Line 3169 
 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->{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->{public_identifier}) {
+         if ($token->{public_identifier} 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})
            if defined $token->{public_identifier};
        $doctype->system_id ($token->{system_identifier})
-Line 2546 
 sub _tree_construction_initial ($) {
+Line 3208 
 sub _tree_construction_initial ($) {
        } elsif (defined $token->{public_identifier}) {
          my $pubid = $token->{public_identifier};
          $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}) {
              !!!cp ('t6');
              $self->{document}->manakai_compat_mode ('quirks');
-Line 2631 
 sub _tree_construction_initial ($) {
+Line 3287 
 sub _tree_construction_initial ($) {
              !!!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 2645 
 sub _tree_construction_initial ($) {
+Line 3301 
 sub _tree_construction_initial ($) {
          my $sysid = $token->{system_identifier};
          $sysid =~ tr/A-Z/a-z/;
          if ($sysid eq "http://www.ibm.com/data/dtd/v11/ibmxhtml1-transitional.dtd") {
-           ## TODO: Check the spec: PUBLIC "(limited quirks)" "(quirks)"
+           ## NOTE: Ensure that |PUBLIC "(limited quirks)" "(quirks)"| is
+           ## marked as quirks.
            $self->{document}->manakai_compat_mode ('quirks');
            !!!cp ('t11');
          } else {
-Line 2668 
 sub _tree_construction_initial ($) {
+Line 3325 
 sub _tree_construction_initial ($) {
        $self->{document}->manakai_compat_mode ('quirks');
        ## Go to the "before html" insertion mode.
        ## reprocess
+       !!!ack-later;
        return;
      } elsif ($token->{type} == CHARACTER_TOKEN) {
        if ($token->{data} =~ s/^([\x09\x0A\x0B\x0C\x20]+)//) { # \x0D
-Line 2748 
 sub _tree_construction_root_element ($)
+Line 3406 
 sub _tree_construction_root_element ($)
        } elsif ($token->{type} == START_TAG_TOKEN) {
          if ($token->{tag_name} eq 'html') {
            my $root_element;
-           !!!create-element ($root_element, $token->{tag_name}, $token->{attributes}, $token);
+           !!!create-element ($root_element, $HTML_NS, $token->{tag_name}, $token->{attributes}, $token);
            $self->{document}->append_child ($root_element);
-           push @{$self->{open_elements}}, [$root_element, 'html'];
+           push @{$self->{open_elements}},
+               [$root_element, $el_category->{html}];
            if ($token->{attributes}->{manifest}) {
              !!!cp ('t24');
-Line 2765 
 sub _tree_construction_root_element ($)
+Line 3424 
 sub _tree_construction_root_element ($)
              $self->{application_cache_selection}->(undef);
            }
+           !!!nack ('t25c');
            !!!next-token;
            return; ## Go to the "before head" insertion mode.
          } else {
-Line 2781 
 sub _tree_construction_root_element ($)
+Line 3442 
 sub _tree_construction_root_element ($)
          die "$0: $token->{type}: Unknown token type";
        }
-     my $root_element; !!!create-element ($root_element, 'html',, $token);
+     my $root_element;
+     !!!create-element ($root_element, $HTML_NS, 'html',, $token);
      $self->{document}->append_child ($root_element);
-     push @{$self->{open_elements}}, [$root_element, 'html'];
+     push @{$self->{open_elements}}, [$root_element, $el_category->{html}];
      $self->{application_cache_selection}->(undef);
      ## NOTE: Reprocess the token.
+     !!!ack-later;
      return; ## Go to the "before head" insertion mode.
      ## ISSUE: There is an issue in the spec
-Line 2811 
 sub _reset_insertion_mode ($) {
+Line 3474 
 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] eq 'td' or
+           !!!cp ('t28');
-               $self->{inner_html_node}->[1] eq 'th') {
+           $node = $self->{inner_html_node};
-             !!!cp ('t27');
+         } else {
-             #
+           die "_reset_insertion_mode: t27";
-           } else {
-             !!!cp ('t28');
-             $node = $self->{inner_html_node};
-           }
          }
        }
-       ## Step 4..13
+       ## Step 4..14
-       my $new_mode = {
+       my $new_mode;
+       if ($node->[1] & FOREIGN_EL) {
+         !!!cp ('t28.1');
+         ## NOTE: Strictly spaking, the line below only applies to MathML and
+         ## SVG elements.  Currently the HTML syntax supports only MathML and
+         ## SVG elements as foreigners.
+         $new_mode = IN_BODY_IM | IN_FOREIGN_CONTENT_IM;
+       } elsif ($node->[1] & TABLE_CELL_EL) {
+         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 2839 
 sub _reset_insertion_mode ($) {
+Line 3513 
 sub _reset_insertion_mode ($) {
                        head => IN_BODY_IM, # not in head!
                        body => IN_BODY_IM,
                        frameset => IN_FRAMESET_IM,
-                      }->{$node->[1]};
+                      }->{$node->[0]->manakai_local_name};
+       }
        $self->{insertion_mode} = $new_mode and return if defined $new_mode;
-       ## Step 14
+       ## Step 15
-       if ($node->[1] eq 'html') {
+       if ($node->[1] & HTML_EL) {
          unless (defined $self->{head_element}) {
            !!!cp ('t29');
            $self->{insertion_mode} = BEFORE_HEAD_IM;
-Line 2857 
 sub _reset_insertion_mode ($) {
+Line 3532 
 sub _reset_insertion_mode ($) {
          !!!cp ('t31');
        }
-       ## Step 15
+       ## Step 16
        $self->{insertion_mode} = IN_BODY_IM and return if $last;
-       ## Step 16
+       ## Step 17
        $i--;
        $node = $self->{open_elements}->[$i];
-       ## Step 17
+       ## Step 18
        redo S3;
      } # S3
-Line 2976 
 sub _tree_construction_main ($) {
+Line 3651 
 sub _tree_construction_main ($) {
      ## Step 1
      my $start_tag_name = $token->{tag_name};
      my $el;
-     !!!create-element ($el, $start_tag_name, $token->{attributes}, $token);
+     !!!create-element ($el, $HTML_NS, $start_tag_name, $token->{attributes}, $token);
      ## Step 2
      $insert->($el);
-Line 2987 
 sub _tree_construction_main ($) {
+Line 3662 
 sub _tree_construction_main ($) {
      ## Step 4
      my $text = '';
+     !!!nack ('t40.1');
      !!!next-token;
      while ($token->{type} == CHARACTER_TOKEN) { # or until stop tokenizing
        !!!cp ('t40');
-Line 3013 
 sub _tree_construction_main ($) {
+Line 3689 
 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 3026 
 sub _tree_construction_main ($) {
+Line 3702 
 sub _tree_construction_main ($) {
    my $script_start_tag = sub () {
      my $script_el;
-     !!!create-element ($script_el, 'script', $token->{attributes}, $token);
+     !!!create-element ($script_el, $HTML_NS, 'script', $token->{attributes}, $token);
      ## TODO: mark as "parser-inserted"
      $self->{content_model} = CDATA_CONTENT_MODEL;
      delete $self->{escape}; # MUST
      my $text = '';
+     !!!nack ('t45.1');
      !!!next-token;
      while ($token->{type} == CHARACTER_TOKEN) {
        !!!cp ('t45');
-Line 3052 
 sub _tree_construction_main ($) {
+Line 3729 
 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 3090 
 sub _tree_construction_main ($) {
+Line 3767 
 sub _tree_construction_main ($) {
        my $formatting_element;
        my $formatting_element_i_in_active;
        AFE: for (reverse 0..$#$active_formatting_elements) {
-         if ($active_formatting_elements->[$_]->[1] eq $tag_name) {
+         if ($active_formatting_elements->[$_]->[0] eq '#marker') {
+           !!!cp ('t52');
+           last AFE;
+         } elsif ($active_formatting_elements->[$_]->[0]->manakai_local_name
+                      eq $tag_name) {
            !!!cp ('t51');
            $formatting_element = $active_formatting_elements->[$_];
            $formatting_element_i_in_active = $_;
            last AFE;
-         } elsif ($active_formatting_elements->[$_]->[0] eq '#marker') {
-           !!!cp ('t52');
-           last AFE;
          }
        } # 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 3119 
 sub _tree_construction_main ($) {
+Line 3797 
 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;
              return;
            }
-         } elsif ({
+         } elsif ($node->[1] & SCOPING_EL) {
-                   applet => 1, table => 1, caption => 1, td => 1, th => 1,
-                   button => 1, marquee => 1, object => 1, html => 1,
-                  }->{$node->[1]}) {
            !!!cp ('t56');
            $in_scope = 0;
          }
        } # 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 3143 
 sub _tree_construction_main ($) {
+Line 3820 
 sub _tree_construction_main ($) {
        }
        if (not $self->{open_elements}->[-1]->[0] eq $formatting_element->[0]) {
          !!!cp ('t58');
-         !!!parse-error (type => 'not closed:'.$self->{open_elements}->[-1]->[1],
+         !!!parse-error (type => 'not closed',
+                         text => $self->{open_elements}->[-1]->[0]
+                             ->manakai_local_name,
                          token => $end_tag_token);
        }
-Line 3152 
 sub _tree_construction_main ($) {
+Line 3831 
 sub _tree_construction_main ($) {
        my $furthest_block_i_in_open;
        OE: for (reverse 0..$#{$self->{open_elements}}) {
          my $node = $self->{open_elements}->[$_];
-         if (not $formatting_category->{$node->[1]} and
+         if (not ($node->[1] & FORMATTING_EL) and
              #not $phrasing_category->{$node->[1]} and
-             ($special_category->{$node->[1]} or
+             ($node->[1] & SPECIAL_EL or
-              $scoping_category->{$node->[1]})) { ## Scoping is redundant, maybe
+              $node->[1] & SCOPING_EL)) { ## Scoping is redundant, maybe
            !!!cp ('t59');
            $furthest_block = $node;
            $furthest_block_i_in_open = $_;
-Line 3241 
 sub _tree_construction_main ($) {
+Line 3920 
 sub _tree_construction_main ($) {
        } # S7
        ## Step 8
-       if ({
+       if ($common_ancestor_node->[1] & TABLE_ROWS_EL) {
-            table => 1, tbody => 1, tfoot => 1, thead => 1, tr => 1,
-           }->{$common_ancestor_node->[1]}) {
          my $foster_parent_element;
          my $next_sibling;
-                          OE: for (reverse 0..$#{$self->{open_elements}}) {
+         OE: for (reverse 0..$#{$self->{open_elements}}) {
-                            if ($self->{open_elements}->[$_]->[1] eq 'table') {
+           if ($self->{open_elements}->[$_]->[1] & TABLE_EL) {
                               my $parent = $self->{open_elements}->[$_]->[0]->parent_node;
                               if (defined $parent and $parent->node_type == 1) {
                                 !!!cp ('t65.1');
-Line 3320 
 sub _tree_construction_main ($) {
+Line 3997 
 sub _tree_construction_main ($) {
    my $insert_to_foster = sub {
      my $child = shift;
-     if ({
+     if ($self->{open_elements}->[-1]->[1] & TABLE_ROWS_EL) {
-          table => 1, tbody => 1, tfoot => 1, thead => 1, tr => 1,
-         }->{$self->{open_elements}->[-1]->[1]}) {
        # MUST
        my $foster_parent_element;
        my $next_sibling;
-                          OE: for (reverse 0..$#{$self->{open_elements}}) {
+       OE: for (reverse 0..$#{$self->{open_elements}}) {
-                            if ($self->{open_elements}->[$_]->[1] eq 'table') {
+         if ($self->{open_elements}->[$_]->[1] & TABLE_EL) {
                               my $parent = $self->{open_elements}->[$_]->[0]->parent_node;
                               if (defined $parent and $parent->node_type == 1) {
                                 !!!cp ('t70');
-Line 3352 
 sub _tree_construction_main ($) {
+Line 4027 
 sub _tree_construction_main ($) {
      }
    }; # $insert_to_foster
-   B: {
+   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;
-       redo B;
+       next B;
      } elsif ($token->{type} == START_TAG_TOKEN and
               $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 3385 
 sub _tree_construction_main ($) {
+Line 4060 
 sub _tree_construction_main ($) {
               $token->{attributes}->{$attr_name}->{value});
          }
        }
+       !!!nack ('t84.1');
        !!!next-token;
-       redo B;
+       next B;
      } elsif ($token->{type} == COMMENT_TOKEN) {
        my $comment = $self->{document}->create_comment ($token->{data});
        if ($self->{insertion_mode} & AFTER_HTML_IMS) {
-Line 3400 
 sub _tree_construction_main ($) {
+Line 4076 
 sub _tree_construction_main ($) {
          $self->{open_elements}->[-1]->[0]->append_child ($comment);
        }
        !!!next-token;
-       redo B;
+       next B;
-     } elsif ($self->{insertion_mode} & HEAD_IMS) {
+     } elsif ($self->{insertion_mode} & IN_FOREIGN_CONTENT_IM) {
+       if ($token->{type} == CHARACTER_TOKEN) {
+         !!!cp ('t87.1');
+         $self->{open_elements}->[-1]->[0]->manakai_append_text ($token->{data});
+         !!!next-token;
+         next B;
+       } elsif ($token->{type} == START_TAG_TOKEN) {
+         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)) {
+           ## NOTE: "using the rules for secondary insertion mode"then"continue"
+           !!!cp ('t87.2');
+           #
+         } elsif ({
+                   b => 1, big => 1, blockquote => 1, body => 1, br => 1,
+                   center => 1, code => 1, dd => 1, div => 1, dl => 1, dt => 1,
+                   em => 1, embed => 1, font => 1, h1 => 1, h2 => 1, h3 => 1,
+                   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',
+                           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 {
+           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;
+           }
+           ## "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}};
+             !!!ack ('t87.3');
+           } else {
+             !!!cp ('t87.4');
+           }
+           !!!next-token;
+           next B;
+         }
+       } elsif ($token->{type} == END_TAG_TOKEN) {
+         ## NOTE: "using the rules for secondary insertion mode" then "continue"
+         !!!cp ('t87.5');
+         #
+       } elsif ($token->{type} == END_OF_FILE_TOKEN) {
+         !!!cp ('t87.6');
+         !!!parse-error (type => 'not closed',
+                         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";
+       }
+     }
+     if ($self->{insertion_mode} & HEAD_IMS) {
        if ($token->{type} == CHARACTER_TOKEN) {
          if ($token->{data} =~ s/^([\x09\x0A\x0B\x0C\x20]+)//) {
            unless ($self->{insertion_mode} == BEFORE_HEAD_IM) {
-Line 3411 
 sub _tree_construction_main ($) {
+Line 4207 
 sub _tree_construction_main ($) {
              !!!cp ('t88.1');
              ## Ignore the token.
              !!!next-token;
-             redo B;
+             next B;
            }
            unless (length $token->{data}) {
              !!!cp ('t88');
              !!!next-token;
-             redo B;
+             next B;
            }
          }
          if ($self->{insertion_mode} == BEFORE_HEAD_IM) {
            !!!cp ('t89');
            ## As if <head>
-           !!!create-element ($self->{head_element}, 'head',, $token);
+           !!!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}, 'head'];
+           push @{$self->{open_elements}},
+               [$self->{head_element}, $el_category->{head}];
            ## Reprocess in the "in head" insertion mode...
            pop @{$self->{open_elements}};
-Line 3435 
 sub _tree_construction_main ($) {
+Line 4232 
 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 3451 
 sub _tree_construction_main ($) {
+Line 4248 
 sub _tree_construction_main ($) {
            !!!cp ('t92');
          }
-             ## "after head" insertion mode
+         ## "after head" insertion mode
-             ## As if <body>
+         ## As if <body>
-             !!!insert-element ('body',, $token);
+         !!!insert-element ('body',, $token);
-             $self->{insertion_mode} = IN_BODY_IM;
+         $self->{insertion_mode} = IN_BODY_IM;
-             ## reprocess
+         ## reprocess
-             redo B;
+         next B;
-           } elsif ($token->{type} == START_TAG_TOKEN) {
+       } elsif ($token->{type} == START_TAG_TOKEN) {
-             if ($token->{tag_name} eq 'head') {
+         if ($token->{tag_name} eq 'head') {
-               if ($self->{insertion_mode} == BEFORE_HEAD_IM) {
+           if ($self->{insertion_mode} == BEFORE_HEAD_IM) {
-                 !!!cp ('t93');
+             !!!cp ('t93');
-                 !!!create-element ($self->{head_element}, $token->{tag_name}, $token->{attributes}, $token);
+             !!!create-element ($self->{head_element}, $HTML_NS, $token->{tag_name}, $token->{attributes}, $token);
-                 $self->{open_elements}->[-1]->[0]->append_child ($self->{head_element});
+             $self->{open_elements}->[-1]->[0]->append_child
-                 push @{$self->{open_elements}}, [$self->{head_element}, $token->{tag_name}];
+                 ($self->{head_element});
-                 $self->{insertion_mode} = IN_HEAD_IM;
+             push @{$self->{open_elements}},
-                 !!!next-token;
+                 [$self->{head_element}, $el_category->{head}];
-                 redo B;
+             $self->{insertion_mode} = IN_HEAD_IM;
-               } elsif ($self->{insertion_mode} == AFTER_HEAD_IM) {
+             !!!nack ('t93.1');
-                 !!!cp ('t94');
+             !!!next-token;
-                 #
+             next B;
-               } else {
+           } elsif ($self->{insertion_mode} == AFTER_HEAD_IM) {
-                 !!!cp ('t95');
+             !!!cp ('t93.2');
-                 !!!parse-error (type => 'in head:head', token => $token); # or in head noscript
+             !!!parse-error (type => 'after head', text => 'head',
-                 ## Ignore the token
+                             token => $token);
-                 !!!next-token;
+             ## Ignore the token
-                 redo B;
+             !!!nack ('t93.3');
-               }
+             !!!next-token;
-             } elsif ($self->{insertion_mode} == BEFORE_HEAD_IM) {
+             next B;
-               !!!cp ('t96');
+           } else {
-               ## As if <head>
+             !!!cp ('t95');
-               !!!create-element ($self->{head_element}, 'head',, $token);
+             !!!parse-error (type => 'in head:head',
-               $self->{open_elements}->[-1]->[0]->append_child ($self->{head_element});
+                             token => $token); # or in head noscript
-               push @{$self->{open_elements}}, [$self->{head_element}, 'head'];
+             ## Ignore the token
+             !!!nack ('t95.1');
+             !!!next-token;
+             next B;
+           }
+         } elsif ($self->{insertion_mode} == BEFORE_HEAD_IM) {
+           !!!cp ('t96');
+           ## 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->{head_element}, $el_category->{head}];
-               $self->{insertion_mode} = IN_HEAD_IM;
+           $self->{insertion_mode} = IN_HEAD_IM;
-               ## Reprocess in the "in head" insertion mode...
+           ## Reprocess in the "in head" insertion mode...
-             } else {
+         } else {
-               !!!cp ('t97');
+           !!!cp ('t97');
-             }
+         }
              if ($token->{tag_name} eq 'base') {
                if ($self->{insertion_mode} == IN_HEAD_NOSCRIPT_IM) {
                  !!!cp ('t98');
                  ## As if </noscript>
                  pop @{$self->{open_elements}};
-                 !!!parse-error (type => 'in noscript:base', 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 3506 
 sub _tree_construction_main ($) {
+Line 4315 
 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',
-                 push @{$self->{open_elements}}, [$self->{head_element}, 'head'];
+                                 text => $token->{tag_name}, token => $token);
+                 push @{$self->{open_elements}},
+                     [$self->{head_element}, $el_category->{head}];
                } else {
                  !!!cp ('t101');
                }
-Line 3515 
 sub _tree_construction_main ($) {
+Line 4326 
 sub _tree_construction_main ($) {
                pop @{$self->{open_elements}}; ## ISSUE: This step is missing in the spec.
                pop @{$self->{open_elements}} # <head>
                    if $self->{insertion_mode} == AFTER_HEAD_IM;
+               !!!nack ('t101.1');
                !!!next-token;
-               redo B;
+               next B;
              } elsif ($token->{tag_name} eq 'link') {
                ## NOTE: There is a "as if in head" code clone.
                if ($self->{insertion_mode} == AFTER_HEAD_IM) {
                  !!!cp ('t102');
-                 !!!parse-error (type => 'after head:'.$token->{tag_name}, token => $token);
+                 !!!parse-error (type => 'after head',
-                 push @{$self->{open_elements}}, [$self->{head_element}, 'head'];
+                                 text => $token->{tag_name}, token => $token);
+                 push @{$self->{open_elements}},
+                     [$self->{head_element}, $el_category->{head}];
                } else {
                  !!!cp ('t103');
                }
-Line 3530 
 sub _tree_construction_main ($) {
+Line 4344 
 sub _tree_construction_main ($) {
                pop @{$self->{open_elements}}; ## ISSUE: This step is missing in the spec.
                pop @{$self->{open_elements}} # <head>
                    if $self->{insertion_mode} == AFTER_HEAD_IM;
+               !!!ack ('t103.1');
                !!!next-token;
-               redo B;
+               next B;
              } 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',
-                 push @{$self->{open_elements}}, [$self->{head_element}, 'head'];
+                                 text => $token->{tag_name}, token => $token);
+                 push @{$self->{open_elements}},
+                     [$self->{head_element}, $el_category->{head}];
                } else {
                  !!!cp ('t105');
                }
-Line 3545 
 sub _tree_construction_main ($) {
+Line 4362 
 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 3556 
 sub _tree_construction_main ($) {
+Line 4375 
 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-\x0D\x20]*(?>"([^"]*)"|'([^']*)'|
-                           ([^"'\x09-\x0D\x20][^\x09-\x0D\x20]*))/x) {
+                           ([^"'\x09-\x0D\x20][^\x09-\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 3593 
 sub _tree_construction_main ($) {
+Line 4413 
 sub _tree_construction_main ($) {
                pop @{$self->{open_elements}} # <head>
                    if $self->{insertion_mode} == AFTER_HEAD_IM;
+               !!!ack ('t110.1');
                !!!next-token;
-               redo B;
+               next B;
              } elsif ($token->{tag_name} eq 'title') {
                if ($self->{insertion_mode} == IN_HEAD_NOSCRIPT_IM) {
                  !!!cp ('t111');
                  ## As if </noscript>
                  pop @{$self->{open_elements}};
-                 !!!parse-error (type => 'in noscript:title', 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',
-                 push @{$self->{open_elements}}, [$self->{head_element}, 'head'];
+                                 text => $token->{tag_name}, token => $token);
+                 push @{$self->{open_elements}},
+                     [$self->{head_element}, $el_category->{head}];
                } else {
                  !!!cp ('t113');
                }
-Line 3618 
 sub _tree_construction_main ($) {
+Line 4442 
 sub _tree_construction_main ($) {
                $parse_rcdata->(RCDATA_CONTENT_MODEL);
                pop @{$self->{open_elements}} # <head>
                    if $self->{insertion_mode} == AFTER_HEAD_IM;
-               redo B;
+               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',
-                 push @{$self->{open_elements}}, [$self->{head_element}, 'head'];
+                                 text => $token->{tag_name}, token => $token);
+                 push @{$self->{open_elements}},
+                     [$self->{head_element}, $el_category->{head}];
                } else {
                  !!!cp ('t115');
                }
                $parse_rcdata->(CDATA_CONTENT_MODEL);
                pop @{$self->{open_elements}} # <head>
                    if $self->{insertion_mode} == AFTER_HEAD_IM;
-               redo B;
+               next B;
              } elsif ($token->{tag_name} eq 'noscript') {
                if ($self->{insertion_mode} == IN_HEAD_IM) {
                  !!!cp ('t116');
                  ## NOTE: and scripting is disalbed
                  !!!insert-element ($token->{tag_name}, $token->{attributes}, $token);
                  $self->{insertion_mode} = IN_HEAD_NOSCRIPT_IM;
+                 !!!nack ('t116.1');
                  !!!next-token;
-                 redo B;
+                 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;
-                 redo B;
+                 next B;
                } else {
                  !!!cp ('t118');
                  #
-Line 3657 
 sub _tree_construction_main ($) {
+Line 4487 
 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',
-                 push @{$self->{open_elements}}, [$self->{head_element}, 'head'];
+                                 text => $token->{tag_name}, token => $token);
+                 push @{$self->{open_elements}},
+                     [$self->{head_element}, $el_category->{head}];
                } else {
                  !!!cp ('t121');
                }
-Line 3673 
 sub _tree_construction_main ($) {
+Line 4506 
 sub _tree_construction_main ($) {
                $script_start_tag->();
                pop @{$self->{open_elements}} # <head>
                    if $self->{insertion_mode} == AFTER_HEAD_IM;
-               redo B;
+               next B;
              } elsif ($token->{tag_name} eq 'body' or
                       $token->{tag_name} eq 'frameset') {
                if ($self->{insertion_mode} == IN_HEAD_NOSCRIPT_IM) {
                  !!!cp ('t122');
                  ## As if </noscript>
                  pop @{$self->{open_elements}};
-                 !!!parse-error (type => 'in noscript:'.$token->{tag_name}, token => $token);
+                 !!!parse-error (type => 'in noscript',
+                                 text => $token->{tag_name}, token => $token);
                  ## Reprocess in the "in head" insertion mode...
                  ## As if </head>
-Line 3707 
 sub _tree_construction_main ($) {
+Line 4541 
 sub _tree_construction_main ($) {
                } else {
                  die "$0: tag name: $self->{tag_name}";
                }
+               !!!nack ('t127.1');
                !!!next-token;
-               redo B;
+               next B;
              } else {
                !!!cp ('t128');
                #
-Line 3718 
 sub _tree_construction_main ($) {
+Line 4553 
 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 3740 
 sub _tree_construction_main ($) {
+Line 4576 
 sub _tree_construction_main ($) {
              !!!insert-element ('body',, $token);
              $self->{insertion_mode} = IN_BODY_IM;
              ## reprocess
-             redo B;
+             !!!ack-later;
+             next B;
            } elsif ($token->{type} == END_TAG_TOKEN) {
              if ($token->{tag_name} eq 'head') {
                if ($self->{insertion_mode} == BEFORE_HEAD_IM) {
                  !!!cp ('t132');
                  ## As if <head>
-                 !!!create-element ($self->{head_element}, 'head',, $token);
+                 !!!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}, 'head'];
+                 push @{$self->{open_elements}},
+                     [$self->{head_element}, $el_category->{head}];
                  ## Reprocess in the "in head" insertion mode...
                  pop @{$self->{open_elements}};
                  $self->{insertion_mode} = AFTER_HEAD_IM;
                  !!!next-token;
-                 redo B;
+                 next B;
                } elsif ($self->{insertion_mode} == IN_HEAD_NOSCRIPT_IM) {
                  !!!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}};
                  $self->{insertion_mode} = AFTER_HEAD_IM;
                  !!!next-token;
-                 redo B;
+                 next B;
                } elsif ($self->{insertion_mode} == IN_HEAD_IM) {
                  !!!cp ('t134');
                  pop @{$self->{open_elements}};
                  $self->{insertion_mode} = AFTER_HEAD_IM;
                  !!!next-token;
-                 redo B;
+                 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 3782 
 sub _tree_construction_main ($) {
+Line 4627 
 sub _tree_construction_main ($) {
                  pop @{$self->{open_elements}};
                  $self->{insertion_mode} = IN_HEAD_IM;
                  !!!next-token;
-                 redo B;
+                 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;
-                 redo B;
+                 next B;
                } else {
                  !!!cp ('t138');
                  #
-Line 3796 
 sub _tree_construction_main ($) {
+Line 4643 
 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}, 'head',, $token);
-                 $self->{open_elements}->[-1]->[0]->append_child ($self->{head_element});
-                 push @{$self->{open_elements}}, [$self->{head_element}, '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;
-                 redo B;
+                 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}, 'head',, $token);
+                 !!!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}, 'head'];
+                 $self->{insertion_mode} = AFTER_HEAD_IM;
+                 ## 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;
-                 redo 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 3866 
 sub _tree_construction_main ($) {
+Line 4743 
 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;
-               redo B;
+               next B;
              } else {
                !!!cp ('t149');
              }
-Line 3879 
 sub _tree_construction_main ($) {
+Line 4757 
 sub _tree_construction_main ($) {
              !!!insert-element ('body',, $token);
              $self->{insertion_mode} = IN_BODY_IM;
              ## reprocess
-             redo B;
+             next B;
        } elsif ($token->{type} == END_OF_FILE_TOKEN) {
          if ($self->{insertion_mode} == BEFORE_HEAD_IM) {
            !!!cp ('t149.1');
            ## NOTE: As if <head>
-           !!!create-element ($self->{head_element}, 'head',, $token);
+           !!!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}, 'head'];
+           #push @{$self->{open_elements}},
+           #    [$self->{head_element}, $el_category->{head}];
            #$self->{insertion_mode} = IN_HEAD_IM;
            ## NOTE: Reprocess.
-Line 3932 
 sub _tree_construction_main ($) {
+Line 4811 
 sub _tree_construction_main ($) {
          !!!insert-element ('body',, $token);
          $self->{insertion_mode} = IN_BODY_IM;
          ## NOTE: Reprocess.
-         redo B;
+         next B;
        } else {
          die "$0: $token->{type}: Unknown token type";
        }
-Line 3947 
 sub _tree_construction_main ($) {
+Line 4826 
 sub _tree_construction_main ($) {
              $self->{open_elements}->[-1]->[0]->manakai_append_text ($token->{data});
              !!!next-token;
-             redo B;
+             next B;
            } elsif ($token->{type} == START_TAG_TOKEN) {
              if ({
                   caption => 1, col => 1, colgroup => 1, tbody => 1,
-Line 3957 
 sub _tree_construction_main ($) {
+Line 4836 
 sub _tree_construction_main ($) {
                  ## have an element in table scope
                  for (reverse 0..$#{$self->{open_elements}}) {
                    my $node = $self->{open_elements}->[$_];
-                   if ($node->[1] eq 'td' or $node->[1] eq 'th') {
+                   if ($node->[1] & TABLE_CELL_EL) {
                      !!!cp ('t151');
                      ## Close the cell
-                     !!!back-token; # <?>
+                     !!!back-token; # <x>
-                     $token = {type => END_TAG_TOKEN, tag_name => $node->[1],
+                     $token = {type => END_TAG_TOKEN,
+                               tag_name => $node->[0]->manakai_local_name,
                                line => $token->{line},
                                column => $token->{column}};
-                     redo B;
+                     next B;
-                   } elsif ({
+                   } elsif ($node->[1] & TABLE_SCOPING_EL) {
-                             table => 1, html => 1,
-                            }->{$node->[1]}) {
                      !!!cp ('t152');
                      ## ISSUE: This case can never be reached, maybe.
                      last;
-Line 3977 
 sub _tree_construction_main ($) {
+Line 4855 
 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;
-                 redo B;
+                 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 3990 
 sub _tree_construction_main ($) {
+Line 4870 
 sub _tree_construction_main ($) {
                  INSCOPE: {
                    for (reverse 0..$#{$self->{open_elements}}) {
                      my $node = $self->{open_elements}->[$_];
-                     if ($node->[1] eq 'caption') {
+                     if ($node->[1] & CAPTION_EL) {
                        !!!cp ('t155');
                        $i = $_;
                        last INSCOPE;
-                     } elsif ({
+                     } elsif ($node->[1] & TABLE_SCOPING_EL) {
-                               table => 1, html => 1,
-                              }->{$node->[1]}) {
                        !!!cp ('t156');
                        last;
                      }
-Line 4004 
 sub _tree_construction_main ($) {
+Line 4882 
 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;
-                   redo B;
+                   next B;
                  } # INSCOPE
                  ## generate implied end tags
-                 while ({
+                 while ($self->{open_elements}->[-1]->[1]
-                         dd => 1, dt => 1, li => 1, p => 1,
+                            & END_TAG_OPTIONAL_EL) {
-                        }->{$self->{open_elements}->[-1]->[1]}) {
                    !!!cp ('t158');
                    pop @{$self->{open_elements}};
                  }
-                 if ($self->{open_elements}->[-1]->[1] ne 'caption') {
+                 unless ($self->{open_elements}->[-1]->[1] & CAPTION_EL) {
                    !!!cp ('t159');
-                   !!!parse-error (type => 'not closed:'.$self->{open_elements}->[-1]->[1], token => $token);
+                   !!!parse-error (type => 'not closed',
+                                   text => $self->{open_elements}->[-1]->[0]
+                                       ->manakai_local_name,
+                                   token => $token);
                  } else {
                    !!!cp ('t160');
                  }
-Line 4032 
 sub _tree_construction_main ($) {
+Line 4913 
 sub _tree_construction_main ($) {
                  $self->{insertion_mode} = IN_TABLE_IM;
                  ## reprocess
-                 redo B;
+                 !!!ack-later;
+                 next B;
                } else {
                  !!!cp ('t161');
                  #
-Line 4048 
 sub _tree_construction_main ($) {
+Line 4930 
 sub _tree_construction_main ($) {
                  my $i;
                  INSCOPE: for (reverse 0..$#{$self->{open_elements}}) {
                    my $node = $self->{open_elements}->[$_];
-                   if ($node->[1] eq $token->{tag_name}) {
+                   if ($node->[0]->manakai_local_name eq $token->{tag_name}) {
                      !!!cp ('t163');
                      $i = $_;
                      last INSCOPE;
-                   } elsif ({
+                   } elsif ($node->[1] & TABLE_SCOPING_EL) {
-                             table => 1, html => 1,
-                            }->{$node->[1]}) {
                      !!!cp ('t164');
                      last INSCOPE;
                    }
                  } # 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;
-                     redo B;
+                     next B;
                    }
                  ## generate implied end tags
-                 while ({
+                 while ($self->{open_elements}->[-1]->[1]
-                         dd => 1, dt => 1, li => 1, p => 1,
+                            & END_TAG_OPTIONAL_EL) {
-                        }->{$self->{open_elements}->[-1]->[1]}) {
                    !!!cp ('t166');
                    pop @{$self->{open_elements}};
                  }
-                 if ($self->{open_elements}->[-1]->[1] ne $token->{tag_name}) {
+                 if ($self->{open_elements}->[-1]->[0]->manakai_local_name
+                         ne $token->{tag_name}) {
                    !!!cp ('t167');
-                   !!!parse-error (type => 'not closed:'.$self->{open_elements}->[-1]->[1], token => $token);
+                   !!!parse-error (type => 'not closed',
+                                   text => $self->{open_elements}->[-1]->[0]
+                                       ->manakai_local_name,
+                                   token => $token);
                  } else {
                    !!!cp ('t168');
                  }
-Line 4089 
 sub _tree_construction_main ($) {
+Line 4974 
 sub _tree_construction_main ($) {
                  $self->{insertion_mode} = IN_ROW_IM;
                  !!!next-token;
-                 redo B;
+                 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;
-                 redo B;
+                 next B;
                } else {
                  !!!cp ('t170');
                  #
-Line 4107 
 sub _tree_construction_main ($) {
+Line 4993 
 sub _tree_construction_main ($) {
                  INSCOPE: {
                    for (reverse 0..$#{$self->{open_elements}}) {
                      my $node = $self->{open_elements}->[$_];
-                     if ($node->[1] eq $token->{tag_name}) {
+                     if ($node->[1] & CAPTION_EL) {
                        !!!cp ('t171');
                        $i = $_;
                        last INSCOPE;
-                     } elsif ({
+                     } elsif ($node->[1] & TABLE_SCOPING_EL) {
-                               table => 1, html => 1,
-                              }->{$node->[1]}) {
                        !!!cp ('t172');
                        last;
                      }
-Line 4121 
 sub _tree_construction_main ($) {
+Line 5005 
 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;
-                   redo B;
+                   next B;
                  } # INSCOPE
                  ## generate implied end tags
-                 while ({
+                 while ($self->{open_elements}->[-1]->[1]
-                         dd => 1, dt => 1, li => 1, p => 1,
+                            & END_TAG_OPTIONAL_EL) {
-                        }->{$self->{open_elements}->[-1]->[1]}) {
                    !!!cp ('t174');
                    pop @{$self->{open_elements}};
                  }
-                 if ($self->{open_elements}->[-1]->[1] ne 'caption') {
+                 unless ($self->{open_elements}->[-1]->[1] & CAPTION_EL) {
                    !!!cp ('t175');
-                   !!!parse-error (type => 'not closed:'.$self->{open_elements}->[-1]->[1], token => $token);
+                   !!!parse-error (type => 'not closed',
+                                   text => $self->{open_elements}->[-1]->[0]
+                                       ->manakai_local_name,
+                                   token => $token);
                  } else {
                    !!!cp ('t176');
                  }
-Line 4149 
 sub _tree_construction_main ($) {
+Line 5035 
 sub _tree_construction_main ($) {
                  $self->{insertion_mode} = IN_TABLE_IM;
                  !!!next-token;
-                 redo B;
+                 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;
-                 redo B;
+                 next B;
                } else {
                  !!!cp ('t178');
                  #
-Line 4171 
 sub _tree_construction_main ($) {
+Line 5058 
 sub _tree_construction_main ($) {
                INSCOPE: {
                  for (reverse 0..$#{$self->{open_elements}}) {
                    my $node = $self->{open_elements}->[$_];
-                   if ($node->[1] eq $token->{tag_name}) {
+                   if ($node->[0]->manakai_local_name eq $token->{tag_name}) {
                      !!!cp ('t179');
                      $i = $_;
                      ## Close the cell
-                     !!!back-token; # </?>
+                     !!!back-token; # </x>
                      $token = {type => END_TAG_TOKEN, tag_name => $tn,
                                line => $token->{line},
                                column => $token->{column}};
-                     redo B;
+                     next B;
-                   } elsif ($node->[1] eq 'td' or $node->[1] eq 'th') {
+                   } elsif ($node->[1] & TABLE_CELL_EL) {
                      !!!cp ('t180');
-                     $tn = $node->[1];
+                     $tn = $node->[0]->manakai_local_name;
                      ## NOTE: There is exactly one |td| or |th| element
                      ## in scope in the stack of open elements by definition.
-                   } elsif ({
+                   } elsif ($node->[1] & TABLE_SCOPING_EL) {
-                             table => 1, html => 1,
-                            }->{$node->[1]}) {
                      ## ISSUE: Can this be reached?
                      !!!cp ('t181');
                      last;
-Line 4197 
 sub _tree_construction_main ($) {
+Line 5082 
 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;
-                 redo B;
+                 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
                my $i;
                INSCOPE: for (reverse 0..$#{$self->{open_elements}}) {
                  my $node = $self->{open_elements}->[$_];
-                 if ($node->[1] eq 'caption') {
+                 if ($node->[1] & CAPTION_EL) {
                    !!!cp ('t184');
                    $i = $_;
                    last INSCOPE;
-                 } elsif ({
+                 } elsif ($node->[1] & TABLE_SCOPING_EL) {
-                           table => 1, html => 1,
-                          }->{$node->[1]}) {
                    !!!cp ('t185');
                    last INSCOPE;
                  }
                } # 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;
-                 redo B;
+                 next B;
                }
                ## generate implied end tags
-               while ({
+               while ($self->{open_elements}->[-1]->[1] & END_TAG_OPTIONAL_EL) {
-                       dd => 1, dt => 1, li => 1, p => 1,
-                      }->{$self->{open_elements}->[-1]->[1]}) {
                  !!!cp ('t187');
                  pop @{$self->{open_elements}};
                }
-               if ($self->{open_elements}->[-1]->[1] ne 'caption') {
+               unless ($self->{open_elements}->[-1]->[1] & CAPTION_EL) {
                  !!!cp ('t188');
-                 !!!parse-error (type => 'not closed:'.$self->{open_elements}->[-1]->[1], token => $token);
+                 !!!parse-error (type => 'not closed',
+                                 text => $self->{open_elements}->[-1]->[0]
+                                     ->manakai_local_name,
+                                 token => $token);
                } else {
                  !!!cp ('t189');
                }
-Line 4252 
 sub _tree_construction_main ($) {
+Line 5138 
 sub _tree_construction_main ($) {
                $self->{insertion_mode} = IN_TABLE_IM;
                ## reprocess
-               redo B;
+               next B;
              } elsif ({
                        body => 1, col => 1, colgroup => 1, html => 1,
                       }->{$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;
-                 redo B;
+                 next B;
                } else {
                  !!!cp ('t191');
                  #
-Line 4272 
 sub _tree_construction_main ($) {
+Line 5159 
 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;
-               redo B;
+               next B;
              } else {
                !!!cp ('t193');
                #
              }
        } elsif ($token->{type} == END_OF_FILE_TOKEN) {
          for my $entry (@{$self->{open_elements}}) {
-           if (not {
+           unless ($entry->[1] & ALL_END_TAG_OPTIONAL_EL) {
-             dd => 1, dt => 1, li => 1, p => 1, tbody => 1, td => 1, tfoot => 1,
-             th => 1, thead => 1, tr => 1, body => 1, html => 1,
-           }->{$entry->[1]}) {
              !!!cp ('t75');
              !!!parse-error (type => 'in body:#eof', token => $token);
              last;
-Line 4309 
 sub _tree_construction_main ($) {
+Line 5194 
 sub _tree_construction_main ($) {
            unless (length $token->{data}) {
              !!!cp ('t194');
              !!!next-token;
-             redo B;
+             next B;
            } else {
              !!!cp ('t195');
            }
          }
-             !!!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 4323 
 sub _tree_construction_main ($) {
+Line 5208 
 sub _tree_construction_main ($) {
              ## result in a new Text node.
              $reconstruct_active_formatting_elements->($insert_to_foster);
-             if ({
+             if ($self->{open_elements}->[-1]->[1] & TABLE_ROWS_EL) {
-                  table => 1, tbody => 1, tfoot => 1,
-                  thead => 1, tr => 1,
-                 }->{$self->{open_elements}->[-1]->[1]}) {
                # MUST
                my $foster_parent_element;
                my $next_sibling;
                my $prev_sibling;
                OE: for (reverse 0..$#{$self->{open_elements}}) {
-                 if ($self->{open_elements}->[$_]->[1] eq 'table') {
+                 if ($self->{open_elements}->[$_]->[1] & TABLE_EL) {
                    my $parent = $self->{open_elements}->[$_]->[0]->parent_node;
                    if (defined $parent and $parent->node_type == 1) {
                      !!!cp ('t196');
-Line 4367 
 sub _tree_construction_main ($) {
+Line 5249 
 sub _tree_construction_main ($) {
          }
          !!!next-token;
-         redo B;
+         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 ($self->{open_elements}->[-1]->[1] ne 'table' and
+             while (not ($self->{open_elements}->[-1]->[1]
-                        $self->{open_elements}->[-1]->[1] ne 'html') {
+                             & TABLE_SCOPING_EL)) {
-                   !!!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 {
+             while (not ($self->{open_elements}->[-1]->[1]
-                   tbody => 1, tfoot => 1, thead => 1, html => 1,
+                             & TABLE_ROWS_SCOPING_EL)) {
-                 }->{$self->{open_elements}->[-1]->[1]}) {
+               !!!cp ('t203');
-                   !!!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') {
                    !!!cp ('t204');
                    !!!insert-element ($token->{tag_name}, $token->{attributes}, $token);
+                   !!!nack ('t204');
                    !!!next-token;
-                   redo B;
+                   next B;
                  } else {
                    !!!cp ('t205');
                    !!!insert-element ('tr',, $token);
-Line 4417 
 sub _tree_construction_main ($) {
+Line 5299 
 sub _tree_construction_main ($) {
                }
                ## Clear back to table row context
-               while (not {
+               while (not ($self->{open_elements}->[-1]->[1]
-                 tr => 1, html => 1,
+                               & TABLE_ROW_SCOPING_EL)) {
-               }->{$self->{open_elements}->[-1]->[1]}) {
                  !!!cp ('t207');
                  pop @{$self->{open_elements}};
                }
-Line 4429 
 sub _tree_construction_main ($) {
+Line 5310 
 sub _tree_construction_main ($) {
                push @$active_formatting_elements, ['#marker', ''];
+               !!!nack ('t207.1');
                !!!next-token;
-               redo B;
+               next B;
              } elsif ({
                        caption => 1, col => 1, colgroup => 1,
                        tbody => 1, tfoot => 1, thead => 1,
-Line 4442 
 sub _tree_construction_main ($) {
+Line 5324 
 sub _tree_construction_main ($) {
                  my $i;
                  INSCOPE: for (reverse 0..$#{$self->{open_elements}}) {
                    my $node = $self->{open_elements}->[$_];
-                   if ($node->[1] eq 'tr') {
+                   if ($node->[1] & TABLE_ROW_EL) {
                      !!!cp ('t208');
                      $i = $_;
                      last INSCOPE;
-                   } elsif ({
+                   } elsif ($node->[1] & TABLE_SCOPING_EL) {
-                             html => 1,
-                             ## NOTE: This element does not appear here, maybe.
-                             table => 1,
-                            }->{$node->[1]}) {
                      !!!cp ('t209');
                      last INSCOPE;
                    }
                  } # INSCOPE
                  unless (defined $i) {
-                  !!!cp ('t210');
+                   !!!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;
-                   redo B;
+                   next B;
                  }
                  ## Clear back to table row context
-                 while (not {
+                 while (not ($self->{open_elements}->[-1]->[1]
-                   tr => 1, html => 1,
+                                 & TABLE_ROW_SCOPING_EL)) {
-                 }->{$self->{open_elements}->[-1]->[1]}) {
                    !!!cp ('t211');
                    ## ISSUE: Can this case be reached?
                    pop @{$self->{open_elements}};
-Line 4479 
 sub _tree_construction_main ($) {
+Line 5357 
 sub _tree_construction_main ($) {
                  if ($token->{tag_name} eq 'tr') {
                    !!!cp ('t212');
                    ## reprocess
-                   redo B;
+                   !!!ack-later;
+                   next B;
                  } else {
                    !!!cp ('t213');
                    ## reprocess in the "in table body" insertion mode...
-Line 4491 
 sub _tree_construction_main ($) {
+Line 5370 
 sub _tree_construction_main ($) {
                  my $i;
                  INSCOPE: for (reverse 0..$#{$self->{open_elements}}) {
                    my $node = $self->{open_elements}->[$_];
-                   if ({
+                   if ($node->[1] & TABLE_ROW_GROUP_EL) {
-                        tbody => 1, thead => 1, tfoot => 1,
-                       }->{$node->[1]}) {
                      !!!cp ('t214');
                      $i = $_;
                      last INSCOPE;
-                   } elsif ({
+                   } elsif ($node->[1] & TABLE_SCOPING_EL) {
-                             table => 1, html => 1,
-                            }->{$node->[1]}) {
                      !!!cp ('t215');
                      last INSCOPE;
                    }
                  } # 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;
-                   redo B;
+                   next B;
                  }
                  ## Clear back to table body context
-                 while (not {
+                 while (not ($self->{open_elements}->[-1]->[1]
-                   tbody => 1, tfoot => 1, thead => 1, html => 1,
+                                 & TABLE_ROWS_SCOPING_EL)) {
-                 }->{$self->{open_elements}->[-1]->[1]}) {
                    !!!cp ('t217');
                    ## ISSUE: Can this state be reached?
                    pop @{$self->{open_elements}};
-Line 4538 
 sub _tree_construction_main ($) {
+Line 5414 
 sub _tree_construction_main ($) {
                if ($token->{tag_name} eq 'col') {
                  ## Clear back to table context
-                 while ($self->{open_elements}->[-1]->[1] ne 'table' and
+                 while (not ($self->{open_elements}->[-1]->[1]
-                        $self->{open_elements}->[-1]->[1] ne 'html') {
+                                 & TABLE_SCOPING_EL)) {
                    !!!cp ('t219');
                    ## ISSUE: Can this state be reached?
                    pop @{$self->{open_elements}};
-Line 4548 
 sub _tree_construction_main ($) {
+Line 5424 
 sub _tree_construction_main ($) {
                  !!!insert-element ('colgroup',, $token);
                  $self->{insertion_mode} = IN_COLUMN_GROUP_IM;
                  ## reprocess
-                 redo B;
+                 !!!ack-later;
+                 next B;
                } elsif ({
                          caption => 1,
                          colgroup => 1,
                          tbody => 1, tfoot => 1, thead => 1,
                         }->{$token->{tag_name}}) {
                  ## Clear back to table context
-                 while ($self->{open_elements}->[-1]->[1] ne 'table' and
+                 while (not ($self->{open_elements}->[-1]->[1]
-                        $self->{open_elements}->[-1]->[1] ne 'html') {
+                                 & TABLE_SCOPING_EL)) {
                    !!!cp ('t220');
                    ## ISSUE: Can this state be reached?
                    pop @{$self->{open_elements}};
-Line 4574 
 sub _tree_construction_main ($) {
+Line 5451 
 sub _tree_construction_main ($) {
                                             thead => IN_TABLE_BODY_IM,
                                            }->{$token->{tag_name}};
                  !!!next-token;
-                 redo B;
+                 !!!nack ('t220.1');
+                 next B;
                } else {
                  die "$0: in table: <>: $token->{tag_name}";
                }
              } elsif ($token->{tag_name} eq 'table') {
-               !!!parse-error (type => 'not closed:'.$self->{open_elements}->[-1]->[1], token => $token);
+               !!!parse-error (type => 'not closed',
+                               text => $self->{open_elements}->[-1]->[0]
+                                   ->manakai_local_name,
+                               token => $token);
                ## As if </table>
                ## have a table element in table scope
                my $i;
                INSCOPE: for (reverse 0..$#{$self->{open_elements}}) {
                  my $node = $self->{open_elements}->[$_];
-                 if ($node->[1] eq 'table') {
+                 if ($node->[1] & TABLE_EL) {
                    !!!cp ('t221');
                    $i = $_;
                    last INSCOPE;
-                 } elsif ({
+                 } elsif ($node->[1] & TABLE_SCOPING_EL) {
-                           #table => 1,
-                           html => 1,
-                          }->{$node->[1]}) {
                    !!!cp ('t222');
                    last INSCOPE;
                  }
-Line 4601 
 sub _tree_construction_main ($) {
+Line 5479 
 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;
-                 redo B;
+                 next B;
                }
  ## TODO: Followings are removed from the latest spec.
                ## generate implied end tags
-               while ({
+               while ($self->{open_elements}->[-1]->[1] & END_TAG_OPTIONAL_EL) {
-                       dd => 1, dt => 1, li => 1, p => 1,
-                      }->{$self->{open_elements}->[-1]->[1]}) {
                  !!!cp ('t224');
                  pop @{$self->{open_elements}};
                }
-               if ($self->{open_elements}->[-1]->[1] ne 'table') {
+               unless ($self->{open_elements}->[-1]->[1] & TABLE_EL) {
                  !!!cp ('t225');
- ## ISSUE: Can this case be reached?
+                 ## NOTE: |<table><tr><table>|
-                 !!!parse-error (type => 'not closed:'.$self->{open_elements}->[-1]->[1], token => $token);
+                 !!!parse-error (type => 'not closed',
+                                 text => $self->{open_elements}->[-1]->[0]
+                                     ->manakai_local_name,
+                                 token => $token);
                } else {
                  !!!cp ('t226');
                }
-Line 4629 
 sub _tree_construction_main ($) {
+Line 5510 
 sub _tree_construction_main ($) {
                $self->_reset_insertion_mode;
-               ## reprocess
+           ## reprocess
-               redo B;
+           !!!ack-later;
+           next B;
          } elsif ($token->{tag_name} eq 'style') {
            if (not $open_tables->[-1]->[1]) { # tainted
              !!!cp ('t227.8');
              ## NOTE: This is a "as if in head" code clone.
              $parse_rcdata->(CDATA_CONTENT_MODEL);
-             redo B;
+             next B;
            } else {
              !!!cp ('t227.7');
              #
-Line 4646 
 sub _tree_construction_main ($) {
+Line 5528 
 sub _tree_construction_main ($) {
              !!!cp ('t227.6');
              ## NOTE: This is a "as if in head" code clone.
              $script_start_tag->();
-             redo B;
+             next B;
            } else {
              !!!cp ('t227.5');
              #
-Line 4657 
 sub _tree_construction_main ($) {
+Line 5539 
 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 4666 
 sub _tree_construction_main ($) {
+Line 5549 
 sub _tree_construction_main ($) {
                  pop @{$self->{open_elements}};
                  !!!next-token;
-                 redo B;
+                 !!!ack ('t227.2.1');
+                 next B;
                } else {
                  !!!cp ('t227.2');
                  #
-Line 4684 
 sub _tree_construction_main ($) {
+Line 5568 
 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 4695 
 sub _tree_construction_main ($) {
+Line 5580 
 sub _tree_construction_main ($) {
                my $i;
                INSCOPE: for (reverse 0..$#{$self->{open_elements}}) {
                  my $node = $self->{open_elements}->[$_];
-                 if ($node->[1] eq $token->{tag_name}) {
+                 if ($node->[1] & TABLE_ROW_EL) {
                    !!!cp ('t228');
                    $i = $_;
                    last INSCOPE;
-                 } elsif ({
+                 } elsif ($node->[1] & TABLE_SCOPING_EL) {
-                           table => 1, html => 1,
-                          }->{$node->[1]}) {
                    !!!cp ('t229');
                    last INSCOPE;
                  }
                } # 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;
-                 redo B;
+                 next B;
                } else {
                  !!!cp ('t232');
                }
                ## Clear back to table row context
-               while (not {
+               while (not ($self->{open_elements}->[-1]->[1]
-                 tr => 1, html => 1,
+                               & TABLE_ROW_SCOPING_EL)) {
-               }->{$self->{open_elements}->[-1]->[1]}) {
                  !!!cp ('t231');
  ## ISSUE: Can this state be reached?
                  pop @{$self->{open_elements}};
-Line 4728 
 sub _tree_construction_main ($) {
+Line 5612 
 sub _tree_construction_main ($) {
                pop @{$self->{open_elements}}; # tr
                $self->{insertion_mode} = IN_TABLE_BODY_IM;
                !!!next-token;
-               redo B;
+               !!!nack ('t231.1');
+               next B;
              } elsif ($token->{tag_name} eq 'table') {
                if ($self->{insertion_mode} == IN_ROW_IM) {
                  ## As if </tr>
-Line 4736 
 sub _tree_construction_main ($) {
+Line 5621 
 sub _tree_construction_main ($) {
                  my $i;
                  INSCOPE: for (reverse 0..$#{$self->{open_elements}}) {
                    my $node = $self->{open_elements}->[$_];
-                   if ($node->[1] eq 'tr') {
+                   if ($node->[1] & TABLE_ROW_EL) {
                      !!!cp ('t233');
                      $i = $_;
                      last INSCOPE;
-                   } elsif ({
+                   } elsif ($node->[1] & TABLE_SCOPING_EL) {
-                             table => 1, html => 1,
-                            }->{$node->[1]}) {
                      !!!cp ('t234');
                      last INSCOPE;
                    }
-Line 4750 
 sub _tree_construction_main ($) {
+Line 5633 
 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;
-                   redo B;
+                   next B;
                  }
                  ## Clear back to table row context
-                 while (not {
+                 while (not ($self->{open_elements}->[-1]->[1]
-                   tr => 1, html => 1,
+                                 & TABLE_ROW_SCOPING_EL)) {
-                 }->{$self->{open_elements}->[-1]->[1]}) {
                    !!!cp ('t236');
  ## ISSUE: Can this state be reached?
                    pop @{$self->{open_elements}};
-Line 4775 
 sub _tree_construction_main ($) {
+Line 5659 
 sub _tree_construction_main ($) {
                  my $i;
                  INSCOPE: for (reverse 0..$#{$self->{open_elements}}) {
                    my $node = $self->{open_elements}->[$_];
-                   if ({
+                   if ($node->[1] & TABLE_ROW_GROUP_EL) {
-                        tbody => 1, thead => 1, tfoot => 1,
-                       }->{$node->[1]}) {
                      !!!cp ('t237');
                      $i = $_;
                      last INSCOPE;
-                   } elsif ({
+                   } elsif ($node->[1] & TABLE_SCOPING_EL) {
-                             table => 1, html => 1,
-                            }->{$node->[1]}) {
                      !!!cp ('t238');
                      last INSCOPE;
                    }
                  } # 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;
-                   redo B;
+                   next B;
                  }
                  ## Clear back to table body context
-                 while (not {
+                 while (not ($self->{open_elements}->[-1]->[1]
-                   tbody => 1, tfoot => 1, thead => 1, html => 1,
+                                 & TABLE_ROWS_SCOPING_EL)) {
-                 }->{$self->{open_elements}->[-1]->[1]}) {
                    !!!cp ('t240');
                    pop @{$self->{open_elements}};
                  }
-Line 4825 
 sub _tree_construction_main ($) {
+Line 5706 
 sub _tree_construction_main ($) {
                my $i;
                INSCOPE: for (reverse 0..$#{$self->{open_elements}}) {
                  my $node = $self->{open_elements}->[$_];
-                 if ($node->[1] eq $token->{tag_name}) {
+                 if ($node->[1] & TABLE_EL) {
                    !!!cp ('t241');
                    $i = $_;
                    last INSCOPE;
-                 } elsif ({
+                 } elsif ($node->[1] & TABLE_SCOPING_EL) {
-                           table => 1, html => 1,
-                          }->{$node->[1]}) {
                    !!!cp ('t242');
                    last INSCOPE;
                  }
                } # 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;
-                 redo B;
+                 next B;
                }
                splice @{$self->{open_elements}}, $i;
-Line 4850 
 sub _tree_construction_main ($) {
+Line 5731 
 sub _tree_construction_main ($) {
                $self->_reset_insertion_mode;
                !!!next-token;
-               redo B;
+               next B;
              } elsif ({
                        tbody => 1, tfoot => 1, thead => 1,
                       }->{$token->{tag_name}} and
-Line 4860 
 sub _tree_construction_main ($) {
+Line 5741 
 sub _tree_construction_main ($) {
                  my $i;
                  INSCOPE: for (reverse 0..$#{$self->{open_elements}}) {
                    my $node = $self->{open_elements}->[$_];
-                   if ($node->[1] eq $token->{tag_name}) {
+                   if ($node->[0]->manakai_local_name eq $token->{tag_name}) {
                      !!!cp ('t247');
                      $i = $_;
                      last INSCOPE;
-                   } elsif ({
+                   } elsif ($node->[1] & TABLE_SCOPING_EL) {
-                             table => 1, html => 1,
-                            }->{$node->[1]}) {
                      !!!cp ('t248');
                      last INSCOPE;
                    }
                  } # 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;
-                     redo B;
+                     next B;
                    }
                  ## As if </tr>
-Line 4884 
 sub _tree_construction_main ($) {
+Line 5765 
 sub _tree_construction_main ($) {
                  my $i;
                  INSCOPE: for (reverse 0..$#{$self->{open_elements}}) {
                    my $node = $self->{open_elements}->[$_];
-                   if ($node->[1] eq 'tr') {
+                   if ($node->[1] & TABLE_ROW_EL) {
                      !!!cp ('t250');
                      $i = $_;
                      last INSCOPE;
-                   } elsif ({
+                   } elsif ($node->[1] & TABLE_SCOPING_EL) {
-                             table => 1, html => 1,
-                            }->{$node->[1]}) {
                      !!!cp ('t251');
                      last INSCOPE;
                    }
                  } # 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;
-                     redo B;
+                     next B;
                    }
                  ## Clear back to table row context
-                 while (not {
+                 while (not ($self->{open_elements}->[-1]->[1]
-                   tr => 1, html => 1,
+                                 & TABLE_ROW_SCOPING_EL)) {
-                 }->{$self->{open_elements}->[-1]->[1]}) {
                    !!!cp ('t253');
  ## ISSUE: Can this case be reached?
                    pop @{$self->{open_elements}};
-Line 4921 
 sub _tree_construction_main ($) {
+Line 5801 
 sub _tree_construction_main ($) {
                my $i;
                INSCOPE: for (reverse 0..$#{$self->{open_elements}}) {
                  my $node = $self->{open_elements}->[$_];
-                 if ($node->[1] eq $token->{tag_name}) {
+                 if ($node->[0]->manakai_local_name eq $token->{tag_name}) {
                    !!!cp ('t254');
                    $i = $_;
                    last INSCOPE;
-                 } elsif ({
+                 } elsif ($node->[1] & TABLE_SCOPING_EL) {
-                           table => 1, html => 1,
-                          }->{$node->[1]}) {
                    !!!cp ('t255');
                    last INSCOPE;
                  }
                } # 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;
-                 redo B;
+                 next B;
                }
                ## Clear back to table body context
-               while (not {
+               while (not ($self->{open_elements}->[-1]->[1]
-                 tbody => 1, tfoot => 1, thead => 1, html => 1,
+                               & TABLE_ROWS_SCOPING_EL)) {
-               }->{$self->{open_elements}->[-1]->[1]}) {
                  !!!cp ('t257');
  ## ISSUE: Can this case be reached?
                  pop @{$self->{open_elements}};
-Line 4951 
 sub _tree_construction_main ($) {
+Line 5830 
 sub _tree_construction_main ($) {
                pop @{$self->{open_elements}};
                $self->{insertion_mode} = IN_TABLE_IM;
+               !!!nack ('t257.1');
                !!!next-token;
-               redo B;
+               next B;
              } elsif ({
                        body => 1, caption => 1, col => 1, colgroup => 1,
                        html => 1, td => 1, th => 1,
                        tr => 1, # $self->{insertion_mode} == IN_ROW_IM
                        tbody => 1, tfoot => 1, thead => 1, # $self->{insertion_mode} == IN_TABLE_IM
                       }->{$token->{tag_name}}) {
-               !!!cp ('t258');
+           !!!cp ('t258');
-               !!!parse-error (type => 'unmatched end tag:'.$token->{tag_name}, token => $token);
+           !!!parse-error (type => 'unmatched end tag',
-               ## Ignore the token
+                           text => $token->{tag_name}, token => $token);
-               !!!next-token;
+           ## Ignore the token
-               redo B;
+           !!!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;
            #
          }
        } elsif ($token->{type} == END_OF_FILE_TOKEN) {
-         unless ($self->{open_elements}->[-1]->[1] eq 'html' and
+         unless ($self->{open_elements}->[-1]->[1] & HTML_EL and
                  @{$self->{open_elements}} == 1) { # redundant, maybe
            !!!parse-error (type => 'in body:#eof', token => $token);
            !!!cp ('t259.1');
-Line 4994 
 sub _tree_construction_main ($) {
+Line 5877 
 sub _tree_construction_main ($) {
                unless (length $token->{data}) {
                  !!!cp ('t260');
                  !!!next-token;
-                 redo B;
+                 next B;
                }
              }
-Line 5005 
 sub _tree_construction_main ($) {
+Line 5888 
 sub _tree_construction_main ($) {
                !!!cp ('t262');
                !!!insert-element ($token->{tag_name}, $token->{attributes}, $token);
                pop @{$self->{open_elements}};
+               !!!ack ('t262.1');
                !!!next-token;
-               redo B;
+               next B;
              } else {
                !!!cp ('t263');
                #
              }
            } elsif ($token->{type} == END_TAG_TOKEN) {
              if ($token->{tag_name} eq 'colgroup') {
-               if ($self->{open_elements}->[-1]->[1] eq 'html') {
+               if ($self->{open_elements}->[-1]->[1] & HTML_EL) {
                  !!!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;
-                 redo B;
+                 next B;
                } else {
                  !!!cp ('t265');
                  pop @{$self->{open_elements}}; # colgroup
                  $self->{insertion_mode} = IN_TABLE_IM;
                  !!!next-token;
-                 redo B;
+                 next B;
                }
              } 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;
-               redo B;
+               next B;
              } else {
                !!!cp ('t267');
                #
              }
        } elsif ($token->{type} == END_OF_FILE_TOKEN) {
-         if ($self->{open_elements}->[-1]->[1] eq 'html' or
+         if ($self->{open_elements}->[-1]->[1] & HTML_EL and
              @{$self->{open_elements}} == 1) { # redundant, maybe
            !!!cp ('t270.2');
            ## Stop parsing.
-Line 5048 
 sub _tree_construction_main ($) {
+Line 5934 
 sub _tree_construction_main ($) {
            pop @{$self->{open_elements}}; # colgroup
            $self->{insertion_mode} = IN_TABLE_IM;
            ## Reprocess.
-           redo B;
+           next B;
          }
        } else {
          die "$0: $token->{type}: Unknown token type";
        }
            ## As if </colgroup>
-           if ($self->{open_elements}->[-1]->[1] eq 'html') {
+           if ($self->{open_elements}->[-1]->[1] & HTML_EL) {
              !!!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;
-             redo B;
+             next B;
            } else {
              !!!cp ('t270');
              pop @{$self->{open_elements}}; # colgroup
              $self->{insertion_mode} = IN_TABLE_IM;
+             !!!ack-later;
              ## reprocess
-             redo B;
+             next B;
            }
      } elsif ($self->{insertion_mode} & SELECT_IMS) {
        if ($token->{type} == CHARACTER_TOKEN) {
          !!!cp ('t271');
          $self->{open_elements}->[-1]->[0]->manakai_append_text ($token->{data});
          !!!next-token;
-         redo B;
+         next B;
        } elsif ($token->{type} == START_TAG_TOKEN) {
-             if ($token->{tag_name} eq 'option') {
+         if ($token->{tag_name} eq 'option') {
-               if ($self->{open_elements}->[-1]->[1] eq 'option') {
+           if ($self->{open_elements}->[-1]->[1] & OPTION_EL) {
-                 !!!cp ('t272');
+             !!!cp ('t272');
-                 ## As if </option>
+             ## As if </option>
-                 pop @{$self->{open_elements}};
+             pop @{$self->{open_elements}};
-               } else {
+           } else {
-                 !!!cp ('t273');
+             !!!cp ('t273');
-               }
+           }
-               !!!insert-element ($token->{tag_name}, $token->{attributes}, $token);
+           !!!insert-element ($token->{tag_name}, $token->{attributes}, $token);
-               !!!next-token;
+           !!!nack ('t273.1');
-               redo B;
+           !!!next-token;
-             } elsif ($token->{tag_name} eq 'optgroup') {
+           next B;
-               if ($self->{open_elements}->[-1]->[1] eq 'option') {
+         } elsif ($token->{tag_name} eq 'optgroup') {
-                 !!!cp ('t274');
+           if ($self->{open_elements}->[-1]->[1] & OPTION_EL) {
-                 ## As if </option>
+             !!!cp ('t274');
-                 pop @{$self->{open_elements}};
+             ## As if </option>
-               } else {
+             pop @{$self->{open_elements}};
-                 !!!cp ('t275');
+           } else {
-               }
+             !!!cp ('t275');
+           }
-               if ($self->{open_elements}->[-1]->[1] eq 'optgroup') {
+           if ($self->{open_elements}->[-1]->[1] & OPTGROUP_EL) {
-                 !!!cp ('t276');
+             !!!cp ('t276');
-                 ## As if </optgroup>
+             ## As if </optgroup>
-                 pop @{$self->{open_elements}};
+             pop @{$self->{open_elements}};
-               } else {
+           } else {
-                 !!!cp ('t277');
+             !!!cp ('t277');
-               }
+           }
-               !!!insert-element ($token->{tag_name}, $token->{attributes}, $token);
+           !!!insert-element ($token->{tag_name}, $token->{attributes}, $token);
-               !!!next-token;
+           !!!nack ('t277.1');
-               redo B;
+           !!!next-token;
-         } elsif ($token->{tag_name} eq 'select' or
+           next B;
-                  $token->{tag_name} eq 'input' or
+         } elsif ({
+                    select => 1, input => 1, textarea => 1,
+                  }->{$token->{tag_name}} or
                   ($self->{insertion_mode} == IN_SELECT_IN_TABLE_IM and
                    {
                     caption => 1, table => 1,
-Line 5117 
 sub _tree_construction_main ($) {
+Line 6009 
 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
+           ## have an element in table scope
-               my $i;
+           my $i;
-               INSCOPE: for (reverse 0..$#{$self->{open_elements}}) {
+           INSCOPE: for (reverse 0..$#{$self->{open_elements}}) {
-                 my $node = $self->{open_elements}->[$_];
+             my $node = $self->{open_elements}->[$_];
-                 if ($node->[1] eq 'select') {
+             if ($node->[1] & SELECT_EL) {
-                   !!!cp ('t278');
+               !!!cp ('t278');
-                   $i = $_;
+               $i = $_;
-                   last INSCOPE;
+               last INSCOPE;
-                 } elsif ({
+             } elsif ($node->[1] & TABLE_SCOPING_EL) {
-                           table => 1, html => 1,
+               !!!cp ('t279');
-                          }->{$node->[1]}) {
+               last INSCOPE;
-                   !!!cp ('t279');
+             }
-                   last INSCOPE;
+           } # INSCOPE
-                 }
+           unless (defined $i) {
-               } # INSCOPE
+             !!!cp ('t280');
-               unless (defined $i) {
+             !!!parse-error (type => 'unmatched end tag',
-                 !!!cp ('t280');
+                             text => 'select', token => $token);
-                 !!!parse-error (type => 'unmatched end tag:select', token => $token);
+             ## Ignore the token
-                 ## Ignore the token
+             !!!nack ('t280.1');
-                 !!!next-token;
+             !!!next-token;
-                 redo B;
+             next B;
-               }
+           }
-               !!!cp ('t281');
+           !!!cp ('t281');
-               splice @{$self->{open_elements}}, $i;
+           splice @{$self->{open_elements}}, $i;
-               $self->_reset_insertion_mode;
+           $self->_reset_insertion_mode;
            if ($token->{tag_name} eq 'select') {
-             !!!cp ('t281.2');
+             !!!nack ('t281.2');
              !!!next-token;
-             redo B;
+             next B;
            } else {
              !!!cp ('t281.1');
+             !!!ack-later;
              ## Reprocess the token.
-             redo B;
+             next B;
            }
          } 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;
-           redo B;
+           next B;
          }
        } elsif ($token->{type} == END_TAG_TOKEN) {
-             if ($token->{tag_name} eq 'optgroup') {
+         if ($token->{tag_name} eq 'optgroup') {
-               if ($self->{open_elements}->[-1]->[1] eq 'option' and
+           if ($self->{open_elements}->[-1]->[1] & OPTION_EL and
-                   $self->{open_elements}->[-2]->[1] eq 'optgroup') {
+               $self->{open_elements}->[-2]->[1] & OPTGROUP_EL) {
-                 !!!cp ('t283');
+             !!!cp ('t283');
-                 ## As if </option>
+             ## As if </option>
-                 splice @{$self->{open_elements}}, -2;
+             splice @{$self->{open_elements}}, -2;
-               } elsif ($self->{open_elements}->[-1]->[1] eq 'optgroup') {
+           } elsif ($self->{open_elements}->[-1]->[1] & OPTGROUP_EL) {
-                 !!!cp ('t284');
+             !!!cp ('t284');
-                 pop @{$self->{open_elements}};
+             pop @{$self->{open_elements}};
-               } else {
+           } else {
-                 !!!cp ('t285');
+             !!!cp ('t285');
-                 !!!parse-error (type => 'unmatched end tag:'.$token->{tag_name}, token => $token);
+             !!!parse-error (type => 'unmatched end tag',
-                 ## Ignore the token
+                             text => $token->{tag_name}, token => $token);
-               }
+             ## Ignore the token
-               !!!next-token;
+           }
-               redo B;
+           !!!nack ('t285.1');
-             } elsif ($token->{tag_name} eq 'option') {
+           !!!next-token;
-               if ($self->{open_elements}->[-1]->[1] eq 'option') {
+           next B;
-                 !!!cp ('t286');
+         } elsif ($token->{tag_name} eq 'option') {
-                 pop @{$self->{open_elements}};
+           if ($self->{open_elements}->[-1]->[1] & OPTION_EL) {
-               } else {
+             !!!cp ('t286');
-                 !!!cp ('t287');
+             pop @{$self->{open_elements}};
-                 !!!parse-error (type => 'unmatched end tag:'.$token->{tag_name}, token => $token);
+           } else {
-                 ## Ignore the token
+             !!!cp ('t287');
-               }
+             !!!parse-error (type => 'unmatched end tag',
-               !!!next-token;
+                             text => $token->{tag_name}, token => $token);
-               redo B;
+             ## Ignore the token
-             } elsif ($token->{tag_name} eq 'select') {
+           }
-               ## have an element in table scope
+           !!!nack ('t287.1');
-               my $i;
+           !!!next-token;
-               INSCOPE: for (reverse 0..$#{$self->{open_elements}}) {
+           next B;
-                 my $node = $self->{open_elements}->[$_];
+         } elsif ($token->{tag_name} eq 'select') {
-                 if ($node->[1] eq $token->{tag_name}) {
+           ## have an element in table scope
-                   !!!cp ('t288');
+           my $i;
-                   $i = $_;
+           INSCOPE: for (reverse 0..$#{$self->{open_elements}}) {
-                   last INSCOPE;
+             my $node = $self->{open_elements}->[$_];
-                 } elsif ({
+             if ($node->[1] & SELECT_EL) {
-                           table => 1, html => 1,
+               !!!cp ('t288');
-                          }->{$node->[1]}) {
+               $i = $_;
-                   !!!cp ('t289');
+               last INSCOPE;
-                   last INSCOPE;
+             } elsif ($node->[1] & TABLE_SCOPING_EL) {
-                 }
+               !!!cp ('t289');
-               } # INSCOPE
+               last INSCOPE;
-               unless (defined $i) {
+             }
-                 !!!cp ('t290');
+           } # INSCOPE
-                 !!!parse-error (type => 'unmatched end tag:'.$token->{tag_name}, token => $token);
+           unless (defined $i) {
-                 ## Ignore the token
+             !!!cp ('t290');
-                 !!!next-token;
+             !!!parse-error (type => 'unmatched end tag',
-                 redo B;
+                             text => $token->{tag_name}, token => $token);
-               }
+             ## Ignore the token
+             !!!nack ('t290.1');
+             !!!next-token;
+             next B;
+           }
-               !!!cp ('t291');
+           !!!cp ('t291');
-               splice @{$self->{open_elements}}, $i;
+           splice @{$self->{open_elements}}, $i;
-               $self->_reset_insertion_mode;
+           $self->_reset_insertion_mode;
-               !!!next-token;
+           !!!nack ('t291.1');
-               redo B;
+           !!!next-token;
+           next B;
          } elsif ($self->{insertion_mode} == IN_SELECT_IN_TABLE_IM and
                   {
                    caption => 1, table => 1, tbody => 1,
                    tfoot => 1, thead => 1, tr => 1, td => 1, th => 1,
                   }->{$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
+           ## have an element in table scope
-               my $i;
+           my $i;
-               INSCOPE: for (reverse 0..$#{$self->{open_elements}}) {
+           INSCOPE: for (reverse 0..$#{$self->{open_elements}}) {
-                 my $node = $self->{open_elements}->[$_];
+             my $node = $self->{open_elements}->[$_];
-                 if ($node->[1] eq $token->{tag_name}) {
+             if ($node->[0]->manakai_local_name eq $token->{tag_name}) {
-                   !!!cp ('t292');
+               !!!cp ('t292');
-                   $i = $_;
+               $i = $_;
-                   last INSCOPE;
+               last INSCOPE;
-                 } elsif ({
+             } elsif ($node->[1] & TABLE_SCOPING_EL) {
-                           table => 1, html => 1,
+               !!!cp ('t293');
-                          }->{$node->[1]}) {
+               last INSCOPE;
-                   !!!cp ('t293');
+             }
-                   last INSCOPE;
+           } # INSCOPE
-                 }
+           unless (defined $i) {
-               } # INSCOPE
+             !!!cp ('t294');
-               unless (defined $i) {
+             ## Ignore the token
-                 !!!cp ('t294');
+             !!!nack ('t294.1');
-                 ## Ignore the token
+             !!!next-token;
-                 !!!next-token;
+             next B;
-                 redo B;
+           }
-               }
-               ## As if </select>
+           ## As if </select>
-               ## have an element in table scope
+           ## have an element in table scope
-               undef $i;
+           undef $i;
-               INSCOPE: for (reverse 0..$#{$self->{open_elements}}) {
+           INSCOPE: for (reverse 0..$#{$self->{open_elements}}) {
-                 my $node = $self->{open_elements}->[$_];
+             my $node = $self->{open_elements}->[$_];
-                 if ($node->[1] eq 'select') {
+             if ($node->[1] & SELECT_EL) {
-                   !!!cp ('t295');
+               !!!cp ('t295');
-                   $i = $_;
+               $i = $_;
-                   last INSCOPE;
+               last INSCOPE;
-                 } elsif ({
+             } elsif ($node->[1] & TABLE_SCOPING_EL) {
-                           table => 1, html => 1,
-                          }->{$node->[1]}) {
  ## ISSUE: Can this state be reached?
-                   !!!cp ('t296');
+               !!!cp ('t296');
-                   last INSCOPE;
+               last INSCOPE;
-                 }
+             }
-               } # INSCOPE
+           } # INSCOPE
-               unless (defined $i) {
+           unless (defined $i) {
-                 !!!cp ('t297');
+             !!!cp ('t297');
  ## TODO: The following error type is correct?
-                 !!!parse-error (type => 'unmatched end tag:select', token => $token);
+             !!!parse-error (type => 'unmatched end tag',
-                 ## Ignore the </select> token
+                             text => 'select', token => $token);
-                 !!!next-token; ## TODO: ok?
+             ## Ignore the </select> token
-                 redo B;
+             !!!nack ('t297.1');
-               }
+             !!!next-token; ## TODO: ok?
+             next B;
+           }
-               !!!cp ('t298');
+           !!!cp ('t298');
-               splice @{$self->{open_elements}}, $i;
+           splice @{$self->{open_elements}}, $i;
-               $self->_reset_insertion_mode;
+           $self->_reset_insertion_mode;
-               ## reprocess
+           !!!ack-later;
-               redo B;
+           ## reprocess
+           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;
-           redo B;
+           next B;
          }
        } elsif ($token->{type} == END_OF_FILE_TOKEN) {
-         unless ($self->{open_elements}->[-1]->[1] eq 'html' and
+         unless ($self->{open_elements}->[-1]->[1] & HTML_EL and
                  @{$self->{open_elements}} == 1) { # redundant, maybe
            !!!cp ('t299.1');
            !!!parse-error (type => 'in body:#eof', token => $token);
-Line 5319 
 sub _tree_construction_main ($) {
+Line 6223 
 sub _tree_construction_main ($) {
            unless (length $token->{data}) {
              !!!cp ('t300');
              !!!next-token;
-             redo B;
+             next B;
            }
          }
          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 {
-Line 5333 
 sub _tree_construction_main ($) {
+Line 6237 
 sub _tree_construction_main ($) {
          }
          ## "after body" insertion mode
-         !!!parse-error (type => 'after body:#character', token => $token);
+         !!!parse-error (type => 'after body:#text', token => $token);
          $self->{insertion_mode} = IN_BODY_IM;
          ## reprocess
-         redo B;
+         next B;
        } 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 {
-Line 5349 
 sub _tree_construction_main ($) {
+Line 6254 
 sub _tree_construction_main ($) {
          }
          ## "after body" insertion mode
-         !!!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;
+         !!!ack-later;
          ## reprocess
-         redo B;
+         next B;
        } 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;
            ## Reprocess in the "after body" insertion mode.
-Line 5369 
 sub _tree_construction_main ($) {
+Line 6277 
 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;
-             redo B;
+             next B;
            } else {
              !!!cp ('t308');
              $self->{insertion_mode} = AFTER_HTML_BODY_IM;
              !!!next-token;
-             redo B;
+             next B;
            }
          } 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
-           redo B;
+           next B;
          }
        } elsif ($token->{type} == END_OF_FILE_TOKEN) {
          !!!cp ('t309.2');
-Line 5402 
 sub _tree_construction_main ($) {
+Line 6312 
 sub _tree_construction_main ($) {
            unless (length $token->{data}) {
              !!!cp ('t310');
              !!!next-token;
-             redo B;
+             next B;
            }
          }
          if ($token->{data} =~ s/^[^\x09\x0A\x0B\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 5430 
 sub _tree_construction_main ($) {
+Line 6336 
 sub _tree_construction_main ($) {
              !!!cp ('t315');
              !!!next-token;
            }
-           redo B;
+           next B;
          }
          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');
            !!!insert-element ($token->{tag_name}, $token->{attributes}, $token);
+           !!!nack ('t318.1');
            !!!next-token;
-           redo B;
+           next B;
          } elsif ($token->{tag_name} eq 'frame' and
                   $self->{insertion_mode} == IN_FRAMESET_IM) {
            !!!cp ('t319');
            !!!insert-element ($token->{tag_name}, $token->{attributes}, $token);
            pop @{$self->{open_elements}};
+           !!!ack ('t319.1');
            !!!next-token;
-           redo B;
+           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);
-           redo B;
+           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');
            !!!next-token;
-           redo B;
+           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] eq 'html' and
+           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 5501 
 sub _tree_construction_main ($) {
+Line 6400 
 sub _tree_construction_main ($) {
            }
            if (not defined $self->{inner_html_node} and
-               $self->{open_elements}->[-1]->[1] ne 'frameset') {
+               not ($self->{open_elements}->[-1]->[1] & FRAMESET_EL)) {
              !!!cp ('t327');
              $self->{insertion_mode} = AFTER_FRAMESET_IM;
            } else {
              !!!cp ('t328');
            }
-           redo B;
+           next B;
          } elsif ($token->{tag_name} eq 'html' and
                   $self->{insertion_mode} == AFTER_FRAMESET_IM) {
            !!!cp ('t329');
            $self->{insertion_mode} = AFTER_HTML_FRAMESET_IM;
            !!!next-token;
-           redo B;
+           next B;
          } 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;
-           redo B;
+           next B;
          }
        } elsif ($token->{type} == END_OF_FILE_TOKEN) {
-         unless ($self->{open_elements}->[-1]->[1] eq 'html' and
+         unless ($self->{open_elements}->[-1]->[1] & HTML_EL and
                  @{$self->{open_elements}} == 1) { # redundant, maybe
            !!!cp ('t331.1');
            !!!parse-error (type => 'in body:#eof', token => $token);
-Line 5552 
 sub _tree_construction_main ($) {
+Line 6457 
 sub _tree_construction_main ($) {
          !!!cp ('t332');
          ## NOTE: This is an "as if in head" code clone
          $script_start_tag->();
-         redo B;
+         next B;
        } elsif ($token->{tag_name} eq 'style') {
          !!!cp ('t333');
          ## NOTE: This is an "as if in head" code clone
          $parse_rcdata->(CDATA_CONTENT_MODEL);
-         redo B;
+         next B;
        } elsif ({
                  base => 1, link => 1,
                 }->{$token->{tag_name}}) {
-Line 5565 
 sub _tree_construction_main ($) {
+Line 6470 
 sub _tree_construction_main ($) {
          ## 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.
+         !!!ack ('t334.1');
          !!!next-token;
-         redo B;
+         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.
          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 5583 
 sub _tree_construction_main ($) {
+Line 6491 
 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-\x0D\x20]*(?>"([^"]*)"|'([^']*)'|
-                     ([^"'\x09-\x0D\x20][^\x09-\x0D\x20]*))/x) {
+                     ([^"'\x09-\x0D\x20][^\x09-\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 5615 
 sub _tree_construction_main ($) {
+Line 6524 
 sub _tree_construction_main ($) {
            }
          }
+         !!!ack ('t338.1');
          !!!next-token;
-         redo B;
+         next B;
        } elsif ($token->{tag_name} eq 'title') {
          !!!cp ('t341');
          ## NOTE: This is an "as if in head" code clone
          $parse_rcdata->(RCDATA_CONTENT_MODEL);
-         redo B;
+         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
-             $self->{open_elements}->[1]->[1] ne 'body') {
+             not ($self->{open_elements}->[1]->[1] & BODY_EL)) {
            !!!cp ('t342');
            ## Ignore the token
          } else {
-Line 5640 
 sub _tree_construction_main ($) {
+Line 6550 
 sub _tree_construction_main ($) {
              }
            }
          }
+         !!!nack ('t343.1');
          !!!next-token;
-         redo B;
+         next B;
        } elsif ({
                  address => 1, blockquote => 1, center => 1, dir => 1,
                  div => 1, dl => 1, fieldset => 1,
-Line 5656 
 sub _tree_construction_main ($) {
+Line 6567 
 sub _tree_construction_main ($) {
            !!!cp ('t350');
            !!!parse-error (type => 'in form:form', token => $token);
            ## Ignore the token
+           !!!nack ('t350.1');
            !!!next-token;
-           redo B;
+           next B;
          }
          ## has a p element in scope
          INSCOPE: for (reverse @{$self->{open_elements}}) {
-           if ($_->[1] eq 'p') {
+           if ($_->[1] & P_EL) {
              !!!cp ('t344');
-             !!!back-token;
+             !!!back-token; # <form>
              $token = {type => END_TAG_TOKEN, tag_name => 'p',
                        line => $token->{line}, column => $token->{column}};
-             redo B;
+             next B;
-           } elsif ({
+           } elsif ($_->[1] & SCOPING_EL) {
-                     applet => 1, table => 1, caption => 1, td => 1, th => 1,
-                     button => 1, marquee => 1, object => 1, html => 1,
-                    }->{$_->[1]}) {
              !!!cp ('t345');
              last INSCOPE;
            }
-Line 5679 
 sub _tree_construction_main ($) {
+Line 6588 
 sub _tree_construction_main ($) {
          !!!insert-element-t ($token->{tag_name}, $token->{attributes}, $token);
          if ($token->{tag_name} eq 'pre' or $token->{tag_name} eq 'listing') {
+           !!!nack ('t346.1');
            !!!next-token;
            if ($token->{type} == CHARACTER_TOKEN) {
              $token->{data} =~ s/^\x0A//;
-Line 5695 
 sub _tree_construction_main ($) {
+Line 6605 
 sub _tree_construction_main ($) {
            !!!cp ('t347.1');
            $self->{form_element} = $self->{open_elements}->[-1]->[0];
+           !!!nack ('t347.2');
            !!!next-token;
          } elsif ($token->{tag_name} eq 'table') {
            !!!cp ('t382');
-Line 5702 
 sub _tree_construction_main ($) {
+Line 6613 
 sub _tree_construction_main ($) {
            $self->{insertion_mode} = IN_TABLE_IM;
+           !!!nack ('t382.1');
            !!!next-token;
          } elsif ($token->{tag_name} eq 'hr') {
            !!!cp ('t386');
            pop @{$self->{open_elements}};
+           !!!nack ('t386.1');
            !!!next-token;
          } else {
-           !!!cp ('t347');
+           !!!nack ('t347.1');
            !!!next-token;
          }
-         redo B;
+         next B;
        } elsif ({li => 1, dt => 1, dd => 1}->{$token->{tag_name}}) {
          ## has a p element in scope
          INSCOPE: for (reverse @{$self->{open_elements}}) {
-           if ($_->[1] eq 'p') {
+           if ($_->[1] & P_EL) {
              !!!cp ('t353');
-             !!!back-token;
+             !!!back-token; # <x>
              $token = {type => END_TAG_TOKEN, tag_name => 'p',
                        line => $token->{line}, column => $token->{column}};
-             redo B;
+             next B;
-           } elsif ({
+           } elsif ($_->[1] & SCOPING_EL) {
-                     applet => 1, table => 1, caption => 1, td => 1, th => 1,
-                     button => 1, marquee => 1, object => 1, html => 1,
-                    }->{$_->[1]}) {
              !!!cp ('t354');
              last INSCOPE;
            }
-Line 5739 
 sub _tree_construction_main ($) {
+Line 6649 
 sub _tree_construction_main ($) {
                            dd => {dt => 1, dd => 1}}->{$token->{tag_name}};
          LI: {
            ## Step 2
-           if ($li_or_dtdd->{$node->[1]}) {
+           if ($li_or_dtdd->{$node->[0]->manakai_local_name}) {
              if ($i != -1) {
                !!!cp ('t355');
-               !!!parse-error (type => 'end tag missing:'.
+               !!!parse-error (type => 'not closed',
-                               $self->{open_elements}->[-1]->[1], token => $token);
+                               text => $self->{open_elements}->[-1]->[0]
+                                   ->manakai_local_name,
+                               token => $token);
              } else {
                !!!cp ('t356');
              }
-Line 5754 
 sub _tree_construction_main ($) {
+Line 6666 
 sub _tree_construction_main ($) {
            }
            ## Step 3
-           if (not $formatting_category->{$node->[1]} and
+           if (not ($node->[1] & FORMATTING_EL) and
                #not $phrasing_category->{$node->[1]} and
-               ($special_category->{$node->[1]} or
+               ($node->[1] & SPECIAL_EL or
-                $scoping_category->{$node->[1]}) and
+                $node->[1] & SCOPING_EL) and
-               $node->[1] ne 'address' and $node->[1] ne 'div') {
+               not ($node->[1] & ADDRESS_EL) and
+               not ($node->[1] & DIV_EL)) {
              !!!cp ('t358');
              last LI;
            }
-Line 5771 
 sub _tree_construction_main ($) {
+Line 6684 
 sub _tree_construction_main ($) {
          } # LI
          !!!insert-element-t ($token->{tag_name}, $token->{attributes}, $token);
+         !!!nack ('t359.1');
          !!!next-token;
-         redo B;
+         next B;
        } elsif ($token->{tag_name} eq 'plaintext') {
          ## has a p element in scope
          INSCOPE: for (reverse @{$self->{open_elements}}) {
-           if ($_->[1] eq 'p') {
+           if ($_->[1] & P_EL) {
              !!!cp ('t367');
-             !!!back-token;
+             !!!back-token; # <plaintext>
              $token = {type => END_TAG_TOKEN, tag_name => 'p',
                        line => $token->{line}, column => $token->{column}};
-             redo B;
+             next B;
-           } elsif ({
+           } elsif ($_->[1] & SCOPING_EL) {
-                     applet => 1, table => 1, caption => 1, td => 1, th => 1,
-                     button => 1, marquee => 1, object => 1, html => 1,
-                    }->{$_->[1]}) {
              !!!cp ('t368');
              last INSCOPE;
            }
-Line 5795 
 sub _tree_construction_main ($) {
+Line 6706 
 sub _tree_construction_main ($) {
          $self->{content_model} = PLAINTEXT_CONTENT_MODEL;
+         !!!nack ('t368.1');
          !!!next-token;
-         redo B;
+         next B;
        } elsif ($token->{tag_name} eq 'a') {
          AFE: for my $i (reverse 0..$#$active_formatting_elements) {
            my $node = $active_formatting_elements->[$i];
-           if ($node->[1] eq 'a') {
+           if ($node->[1] & A_EL) {
              !!!cp ('t371');
              !!!parse-error (type => 'in a:a', token => $token);
-             !!!back-token;
+             !!!back-token; # <a>
              $token = {type => END_TAG_TOKEN, tag_name => 'a',
                        line => $token->{line}, column => $token->{column}};
              $formatting_end_tag->($token);
-Line 5835 
 sub _tree_construction_main ($) {
+Line 6747 
 sub _tree_construction_main ($) {
          !!!insert-element-t ($token->{tag_name}, $token->{attributes}, $token);
          push @$active_formatting_elements, $self->{open_elements}->[-1];
+         !!!nack ('t374.1');
          !!!next-token;
-         redo B;
+         next B;
        } elsif ($token->{tag_name} eq 'nobr') {
          $reconstruct_active_formatting_elements->($insert_to_current);
          ## has a |nobr| element in scope
          INSCOPE: for (reverse 0..$#{$self->{open_elements}}) {
            my $node = $self->{open_elements}->[$_];
-           if ($node->[1] eq 'nobr') {
+           if ($node->[1] & NOBR_EL) {
              !!!cp ('t376');
              !!!parse-error (type => 'in nobr:nobr', token => $token);
-             !!!back-token;
+             !!!back-token; # <nobr>
              $token = {type => END_TAG_TOKEN, tag_name => 'nobr',
                        line => $token->{line}, column => $token->{column}};
-             redo B;
+             next B;
-           } elsif ({
+           } elsif ($node->[1] & SCOPING_EL) {
-                     applet => 1, table => 1, caption => 1, td => 1, th => 1,
-                     button => 1, marquee => 1, object => 1, html => 1,
-                    }->{$node->[1]}) {
              !!!cp ('t377');
              last INSCOPE;
            }
-Line 5862 
 sub _tree_construction_main ($) {
+Line 6772 
 sub _tree_construction_main ($) {
          !!!insert-element-t ($token->{tag_name}, $token->{attributes}, $token);
          push @$active_formatting_elements, $self->{open_elements}->[-1];
+         !!!nack ('t377.1');
          !!!next-token;
-         redo B;
+         next B;
        } elsif ($token->{tag_name} eq 'button') {
          ## has a button element in scope
          INSCOPE: for (reverse 0..$#{$self->{open_elements}}) {
            my $node = $self->{open_elements}->[$_];
-           if ($node->[1] eq 'button') {
+           if ($node->[1] & BUTTON_EL) {
              !!!cp ('t378');
              !!!parse-error (type => 'in button:button', token => $token);
-             !!!back-token;
+             !!!back-token; # <button>
              $token = {type => END_TAG_TOKEN, tag_name => 'button',
                        line => $token->{line}, column => $token->{column}};
-             redo B;
+             next B;
-           } elsif ({
+           } elsif ($node->[1] & SCOPING_EL) {
-                     applet => 1, table => 1, caption => 1, td => 1, th => 1,
-                     button => 1, marquee => 1, object => 1, html => 1,
-                    }->{$node->[1]}) {
              !!!cp ('t379');
              last INSCOPE;
            }
-Line 5892 
 sub _tree_construction_main ($) {
+Line 6800 
 sub _tree_construction_main ($) {
          push @$active_formatting_elements, ['#marker', ''];
+         !!!nack ('t379.1');
          !!!next-token;
-         redo B;
+         next B;
        } elsif ({
                  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 5909 
 sub _tree_construction_main ($) {
+Line 6818 
 sub _tree_construction_main ($) {
          }
          ## NOTE: There is an "as if in body" code clone.
          $parse_rcdata->(CDATA_CONTENT_MODEL);
-         redo B;
+         next B;
        } elsif ($token->{tag_name} eq 'isindex') {
          !!!parse-error (type => 'isindex', token => $token);
          if (defined $self->{form_element}) {
            !!!cp ('t389');
            ## Ignore the token
+           !!!nack ('t389'); ## NOTE: Not acknowledged.
            !!!next-token;
-           redo B;
+           next B;
          } else {
+           !!!ack ('t391.1');
            my $at = $token->{attributes};
            my $form_attrs;
            $form_attrs->{action} = $at->{action} if $at->{action};
-Line 5962 
 sub _tree_construction_main ($) {
+Line 6874 
 sub _tree_construction_main ($) {
                           line => $token->{line}, column => $token->{column}},
                          {type => END_TAG_TOKEN, tag_name => 'form',
                           line => $token->{line}, column => $token->{column}};
-           $token = shift @tokens;
            !!!back-token (@tokens);
-           redo B;
+           !!!next-token;
+           next B;
          }
        } elsif ($token->{tag_name} eq 'textarea') {
          my $tag_name = $token->{tag_name};
          my $el;
-         !!!create-element ($el, $token->{tag_name}, $token->{attributes}, $token);
+         !!!create-element ($el, $HTML_NS, $token->{tag_name}, $token->{attributes}, $token);
          ## TODO: $self->{form_element} if defined
          $self->{content_model} = RCDATA_CONTENT_MODEL;
-Line 5978 
 sub _tree_construction_main ($) {
+Line 6890 
 sub _tree_construction_main ($) {
          $insert->($el);
          my $text = '';
+         !!!nack ('t392.1');
          !!!next-token;
          if ($token->{type} == CHARACTER_TOKEN) {
            $token->{data} =~ s/^\x0A//;
-Line 6008 
 sub _tree_construction_main ($) {
+Line 6921 
 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->{tag_name}, $token->{attributes}, $token);
+         if ($self->{self_closing}) {
+           pop @{$self->{open_elements}};
+           !!!ack ('t398.1');
+         } else {
+           !!!cp ('t398.2');
+           $self->{insertion_mode} |= IN_FOREIGN_CONTENT_IM;
+           ## NOTE: |<body><math><mi><svg>| -> "in foreign content" insertion
+           ## mode, "in body" (not "in foreign content") secondary insertion
+           ## mode, maybe.
+         }
+         !!!next-token;
+         next B;
        } elsif ({
                  caption => 1, col => 1, colgroup => 1, frame => 1,
                  frameset => 1, head => 1, option => 1, optgroup => 1,
-Line 6019 
 sub _tree_construction_main ($) {
+Line 6990 
 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;
-         redo B;
+         next B;
          ## ISSUE: An issue on HTML5 new elements in the spec.
        } else {
-Line 6044 
 sub _tree_construction_main ($) {
+Line 7017 
 sub _tree_construction_main ($) {
              }->{$token->{tag_name}}) {
            !!!cp ('t380');
            push @$active_formatting_elements, ['#marker', ''];
+           !!!nack ('t380.1');
          } elsif ({
                    b => 1, big => 1, em => 1, font => 1, i => 1,
                    s => 1, small => 1, strile => 1,
-Line 6051 
 sub _tree_construction_main ($) {
+Line 7025 
 sub _tree_construction_main ($) {
                   }->{$token->{tag_name}}) {
            !!!cp ('t375');
            push @$active_formatting_elements, $self->{open_elements}->[-1];
+           !!!nack ('t375.1');
          } elsif ($token->{tag_name} eq 'input') {
            !!!cp ('t388');
            ## TODO: associate with $self->{form_element} if defined
            pop @{$self->{open_elements}};
+           !!!ack ('t388.2');
          } elsif ({
                    area => 1, basefont => 1, bgsound => 1, br => 1,
                    embed => 1, img => 1, param => 1, spacer => 1, wbr => 1,
-Line 6062 
 sub _tree_construction_main ($) {
+Line 7038 
 sub _tree_construction_main ($) {
                   }->{$token->{tag_name}}) {
            !!!cp ('t388.1');
            pop @{$self->{open_elements}};
+           !!!ack ('t388.3');
          } elsif ($token->{tag_name} eq 'select') {
            ## TODO: associate with $self->{form_element} if defined
-Line 6074 
 sub _tree_construction_main ($) {
+Line 7051 
 sub _tree_construction_main ($) {
              !!!cp ('t400.2');
              $self->{insertion_mode} = IN_SELECT_IM;
            }
+           !!!nack ('t400.3');
          } else {
-           !!!cp ('t402');
+           !!!nack ('t402');
          }
          !!!next-token;
-         redo B;
+         next B;
        }
      } elsif ($token->{type} == END_TAG_TOKEN) {
        if ($token->{tag_name} eq 'body') {
-Line 6087 
 sub _tree_construction_main ($) {
+Line 7065 
 sub _tree_construction_main ($) {
          my $i;
          INSCOPE: {
            for (reverse @{$self->{open_elements}}) {
-             if ($_->[1] eq 'body') {
+             if ($_->[1] & BODY_EL) {
                !!!cp ('t405');
                $i = $_;
                last INSCOPE;
-             } elsif ({
+             } elsif ($_->[1] & SCOPING_EL) {
-                       applet => 1, table => 1, caption => 1, td => 1, th => 1,
-                       button => 1, marquee => 1, object => 1, html => 1,
-                      }->{$_->[1]}) {
                !!!cp ('t405.1');
                last;
              }
            }
            !!!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;
-           redo B;
+           next B;
          } # INSCOPE
          for (@{$self->{open_elements}}) {
-           unless ({
+           unless ($_->[1] & ALL_END_TAG_OPTIONAL_EL) {
-                    dd => 1, dt => 1, li => 1, p => 1, td => 1,
-                    th => 1, tr => 1, body => 1, html => 1,
-                    tbody => 1, tfoot => 1, thead => 1,
-                   }->{$_->[1]}) {
              !!!cp ('t403');
-             !!!parse-error (type => 'not closed:'.$_->[1], token => $token);
+             !!!parse-error (type => 'not closed',
+                             text => $_->[0]->manakai_local_name,
+                             token => $token);
              last;
            } else {
              !!!cp ('t404');
-Line 6123 
 sub _tree_construction_main ($) {
+Line 7096 
 sub _tree_construction_main ($) {
          $self->{insertion_mode} = AFTER_BODY_IM;
          !!!next-token;
-         redo B;
+         next B;
        } elsif ($token->{tag_name} eq 'html') {
-         if (@{$self->{open_elements}} > 1 and $self->{open_elements}->[1]->[1] eq 'body') {
+         ## TODO: Update this code.  It seems that the code below is not
+         ## up-to-date, though it has same effect as speced.
+         if (@{$self->{open_elements}} > 1 and
+             $self->{open_elements}->[1]->[1] & BODY_EL) {
            ## ISSUE: There is an issue in the spec.
-           if ($self->{open_elements}->[-1]->[1] ne 'body') {
+           unless ($self->{open_elements}->[-1]->[1] & BODY_EL) {
              !!!cp ('t406');
-             !!!parse-error (type => 'not closed:'.$self->{open_elements}->[1]->[1], token => $token);
+             !!!parse-error (type => 'not closed',
+                             text => $self->{open_elements}->[1]->[0]
+                                 ->manakai_local_name,
+                             token => $token);
            } else {
              !!!cp ('t407');
            }
            $self->{insertion_mode} = AFTER_BODY_IM;
            ## reprocess
-           redo B;
+           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;
-           redo B;
+           next B;
          }
        } elsif ({
                  address => 1, blockquote => 1, center => 1, dir => 1,
-Line 6154 
 sub _tree_construction_main ($) {
+Line 7134 
 sub _tree_construction_main ($) {
          my $i;
          INSCOPE: for (reverse 0..$#{$self->{open_elements}}) {
            my $node = $self->{open_elements}->[$_];
-           if ($node->[1] eq $token->{tag_name}) {
+           if ($node->[0]->manakai_local_name eq $token->{tag_name}) {
              !!!cp ('t410');
              $i = $_;
              last INSCOPE;
-           } elsif ({
+           } elsif ($node->[1] & SCOPING_EL) {
-                     applet => 1, table => 1, caption => 1, td => 1, th => 1,
-                     button => 1, marquee => 1, object => 1, html => 1,
-                    }->{$node->[1]}) {
              !!!cp ('t411');
              last INSCOPE;
            }
-Line 6169 
 sub _tree_construction_main ($) {
+Line 7146 
 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'),
                    p => 1,
-                  }->{$self->{open_elements}->[-1]->[1]}) {
+                   rt => 1,
+                   rp => 1,
+                  }->{$self->{open_elements}->[-1]->[0]->manakai_local_name}) {
              !!!cp ('t409');
              pop @{$self->{open_elements}};
            }
            ## Step 2.
-           if ($self->{open_elements}->[-1]->[1] ne $token->{tag_name}) {
+           if ($self->{open_elements}->[-1]->[0]->manakai_local_name
+                   ne $token->{tag_name}) {
              !!!cp ('t412');
-             !!!parse-error (type => 'not closed:'.$self->{open_elements}->[-1]->[1], token => $token);
+             !!!parse-error (type => 'not closed',
+                             text => $self->{open_elements}->[-1]->[0]
+                                 ->manakai_local_name,
+                             token => $token);
            } else {
              !!!cp ('t414');
            }
-Line 6200 
 sub _tree_construction_main ($) {
+Line 7186 
 sub _tree_construction_main ($) {
                }->{$token->{tag_name}};
          }
          !!!next-token;
-         redo B;
+         next B;
        } elsif ($token->{tag_name} eq 'form') {
          undef $self->{form_element};
-Line 6208 
 sub _tree_construction_main ($) {
+Line 7194 
 sub _tree_construction_main ($) {
          my $i;
          INSCOPE: for (reverse 0..$#{$self->{open_elements}}) {
            my $node = $self->{open_elements}->[$_];
-           if ($node->[1] eq $token->{tag_name}) {
+           if ($node->[1] & FORM_EL) {
              !!!cp ('t418');
              $i = $_;
              last INSCOPE;
-           } elsif ({
+           } elsif ($node->[1] & SCOPING_EL) {
-                     applet => 1, table => 1, caption => 1, td => 1, th => 1,
-                     button => 1, marquee => 1, object => 1, html => 1,
-                    }->{$node->[1]}) {
              !!!cp ('t419');
              last INSCOPE;
            }
-Line 6223 
 sub _tree_construction_main ($) {
+Line 7206 
 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 ({
+           while ($self->{open_elements}->[-1]->[1] & END_TAG_OPTIONAL_EL) {
-                   dd => 1, dt => 1, li => 1, p => 1,
-                  }->{$self->{open_elements}->[-1]->[1]}) {
              !!!cp ('t417');
              pop @{$self->{open_elements}};
            }
            ## Step 2.
-           if ($self->{open_elements}->[-1]->[1] ne $token->{tag_name}) {
+           if ($self->{open_elements}->[-1]->[0]->manakai_local_name
+                   ne $token->{tag_name}) {
              !!!cp ('t417.1');
-             !!!parse-error (type => 'not closed:'.$self->{open_elements}->[-1]->[1], token => $token);
+             !!!parse-error (type => 'not closed',
+                             text => $self->{open_elements}->[-1]->[0]
+                                 ->manakai_local_name,
+                             token => $token);
            } else {
              !!!cp ('t420');
            }
-Line 6246 
 sub _tree_construction_main ($) {
+Line 7233 
 sub _tree_construction_main ($) {
          }
          !!!next-token;
-         redo B;
+         next B;
        } elsif ({
                  h1 => 1, h2 => 1, h3 => 1, h4 => 1, h5 => 1, h6 => 1,
                 }->{$token->{tag_name}}) {
-Line 6254 
 sub _tree_construction_main ($) {
+Line 7241 
 sub _tree_construction_main ($) {
          my $i;
          INSCOPE: for (reverse 0..$#{$self->{open_elements}}) {
            my $node = $self->{open_elements}->[$_];
-           if ({
+           if ($node->[1] & HEADING_EL) {
-                h1 => 1, h2 => 1, h3 => 1, h4 => 1, h5 => 1, h6 => 1,
-               }->{$node->[1]}) {
              !!!cp ('t423');
              $i = $_;
              last INSCOPE;
-           } elsif ({
+           } elsif ($node->[1] & SCOPING_EL) {
-                     applet => 1, table => 1, caption => 1, td => 1, th => 1,
-                     button => 1, marquee => 1, object => 1, html => 1,
-                    }->{$node->[1]}) {
              !!!cp ('t424');
              last INSCOPE;
            }
-Line 6271 
 sub _tree_construction_main ($) {
+Line 7253 
 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 ({
+           while ($self->{open_elements}->[-1]->[1] & END_TAG_OPTIONAL_EL) {
-                   dd => 1, dt => 1, li => 1, p => 1,
-                  }->{$self->{open_elements}->[-1]->[1]}) {
              !!!cp ('t422');
              pop @{$self->{open_elements}};
            }
            ## Step 2.
-           if ($self->{open_elements}->[-1]->[1] ne $token->{tag_name}) {
+           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 6294 
 sub _tree_construction_main ($) {
+Line 7278 
 sub _tree_construction_main ($) {
          }
          !!!next-token;
-         redo B;
+         next B;
        } elsif ($token->{tag_name} eq 'p') {
          ## has an element in scope
          my $i;
          INSCOPE: for (reverse 0..$#{$self->{open_elements}}) {
            my $node = $self->{open_elements}->[$_];
-           if ($node->[1] eq $token->{tag_name}) {
+           if ($node->[1] & P_EL) {
              !!!cp ('t410.1');
              $i = $_;
              last INSCOPE;
-           } elsif ({
+           } elsif ($node->[1] & SCOPING_EL) {
-                     applet => 1, table => 1, caption => 1, td => 1, th => 1,
-                     button => 1, marquee => 1, object => 1, html => 1,
-                    }->{$node->[1]}) {
              !!!cp ('t411.1');
              last INSCOPE;
            }
          } # INSCOPE
          if (defined $i) {
-           if ($self->{open_elements}->[-1]->[1] ne $token->{tag_name}) {
+           if ($self->{open_elements}->[-1]->[0]->manakai_local_name
+                   ne $token->{tag_name}) {
              !!!cp ('t412.1');
-             !!!parse-error (type => 'not closed:'.$self->{open_elements}->[-1]->[1], token => $token);
+             !!!parse-error (type => 'not closed',
+                             text => $self->{open_elements}->[-1]->[0]
+                                 ->manakai_local_name,
+                             token => $token);
            } else {
              !!!cp ('t414.1');
            }
-Line 6324 
 sub _tree_construction_main ($) {
+Line 7309 
 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
            my $el;
-           !!!create-element ($el, 'p',, $token);
+           !!!create-element ($el, $HTML_NS, 'p',, $token);
            $insert->($el);
            ## NOTE: Not inserted into |$self->{open_elements}|.
          }
          !!!next-token;
-         redo B;
+         next B;
        } elsif ({
                  a => 1,
                  b => 1, big => 1, em => 1, font => 1, i => 1,
-Line 6344 
 sub _tree_construction_main ($) {
+Line 7330 
 sub _tree_construction_main ($) {
                 }->{$token->{tag_name}}) {
          !!!cp ('t427');
          $formatting_end_tag->($token);
-         redo B;
+         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);
          my $el;
-         !!!create-element ($el, 'br',, $token);
+         !!!create-element ($el, $HTML_NS, 'br',, $token);
          $insert->($el);
          ## Ignore the token.
          !!!next-token;
-         redo B;
+         next B;
        } elsif ({
                  caption => 1, col => 1, colgroup => 1, frame => 1,
                  frameset => 1, head => 1, option => 1, optgroup => 1,
-Line 6372 
 sub _tree_construction_main ($) {
+Line 7359 
 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;
-         redo B;
+         next B;
          ## ISSUE: Issue on HTML5 new elements in spec
-Line 6386 
 sub _tree_construction_main ($) {
+Line 7374 
 sub _tree_construction_main ($) {
          ## Step 2
          S2: {
-           if ($node->[1] eq $token->{tag_name}) {
+           if ($node->[0]->manakai_local_name eq $token->{tag_name}) {
              ## Step 1
              ## generate implied end tags
-             while ({
+             while ($self->{open_elements}->[-1]->[1] & END_TAG_OPTIONAL_EL) {
-                     dd => 1, dt => 1, li => 1, p => 1,
-                    }->{$self->{open_elements}->[-1]->[1]}) {
                !!!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
-             if ($token->{tag_name} ne $self->{open_elements}->[-1]->[1]) {
+             if ($self->{open_elements}->[-1]->[0]->manakai_local_name
+                     ne $token->{tag_name}) {
                !!!cp ('t431');
                ## NOTE: <x><y></x>
-               !!!parse-error (type => 'not closed:'.$self->{open_elements}->[-1]->[1], token => $token);
+               !!!parse-error (type => 'not closed',
+                               text => $self->{open_elements}->[-1]->[0]
+                                   ->manakai_local_name,
+                               token => $token);
              } else {
                !!!cp ('t432');
              }
              ## Step 3
-             splice @{$self->{open_elements}}, $node_i;
+             splice @{$self->{open_elements}}, $node_i if $node_i < 0;
              !!!next-token;
              last S2;
            } else {
              ## Step 3
-             if (not $formatting_category->{$node->[1]} and
+             if (not ($node->[1] & FORMATTING_EL) and
                  #not $phrasing_category->{$node->[1]} and
-                 ($special_category->{$node->[1]} or
+                 ($node->[1] & SPECIAL_EL or
-                  $scoping_category->{$node->[1]})) {
+                  $node->[1] & SCOPING_EL)) {
                !!!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;
-Line 6434 
 sub _tree_construction_main ($) {
+Line 7428 
 sub _tree_construction_main ($) {
            ## Step 5;
            redo S2;
          } # S2
-         redo B;
+         next B;
        }
      }
-     redo B;
+     next B;
+   } continue { # B
+     if ($self->{insertion_mode} & IN_FOREIGN_CONTENT_IM) {
+       ## NOTE: The code below is executed in cases where it does not have
+       ## to be, but it it is harmless even in those cases.
+       ## has an element in scope
+       INSCOPE: {
+         for (reverse 0..$#{$self->{open_elements}}) {
+           my $node = $self->{open_elements}->[$_];
+           if ($node->[1] & FOREIGN_EL) {
+             last INSCOPE;
+           } elsif ($node->[1] & SCOPING_EL) {
+             last;
+           }
+         }
+         ## NOTE: No foreign element in scope.
+         $self->{insertion_mode} &= ~ IN_FOREIGN_CONTENT_IM;
+       } # INSCOPE
+     }
    } # B
    ## Stop parsing # MUST
-Line 6483 
 sub set_inner_html ($$$) {
+Line 7496 
 sub set_inner_html ($$$) {
      ## Step 8 # MUST
      my $i = 0;
-     my $line = 1;
+     $p->{line_prev} = $p->{line} = 1;
-     my $column = 0;
+     $p->{column_prev} = $p->{column} = 0;
      $p->{set_next_char} = sub {
        my $self = shift;
-Line 6493 
 sub set_inner_html ($$$) {
+Line 7506 
 sub set_inner_html ($$$) {
        $self->{next_char} = -1 and return if $i >= length $$s;
        $self->{next_char} = ord substr $$s, $i++, 1;
-       $column++;
+       ($p->{line_prev}, $p->{column_prev}) = ($p->{line}, $p->{column});
+       $p->{column}++;
        if ($self->{next_char} == 0x000A) { # LF
-         $line++;
+         $p->{line}++;
-         $column = 0;
+         $p->{column} = 0;
          !!!cp ('i1');
        } elsif ($self->{next_char} == 0x000D) { # CR
          $i++ if substr ($$s, $i, 1) eq "\x0A";
          $self->{next_char} = 0x000A; # LF # MUST
-         $line++;
+         $p->{line}++;
-         $column = 0;
+         $p->{column} = 0;
          !!!cp ('i2');
        } elsif ($self->{next_char} > 0x10FFFF) {
          $self->{next_char} = 0xFFFD; # REPLACEMENT CHARACTER # MUST
-Line 6512 
 sub set_inner_html ($$$) {
+Line 7527 
 sub set_inner_html ($$$) {
          !!!cp ('i4');
          !!!parse-error (type => 'NULL');
          $self->{next_char} = 0xFFFD; # REPLACEMENT CHARACTER # MUST
+       } elsif ($self->{next_char} <= 0x0008 or
+                (0x000E <= $self->{next_char} and
+                 $self->{next_char} <= 0x001F) or
+                (0x007F <= $self->{next_char} and
+                 $self->{next_char} <= 0x009F) or
+                (0xD800 <= $self->{next_char} and
+                 $self->{next_char} <= 0xDFFF) or
+                (0xFDD0 <= $self->{next_char} and
+                 $self->{next_char} <= 0xFDDF) or
+                {
+xFFFE => 1, 0xFFFF => 1, 0x1FFFE => 1, 0x1FFFF => 1,
+x2FFFE => 1, 0x2FFFF => 1, 0x3FFFE => 1, 0x3FFFF => 1,
+x4FFFE => 1, 0x4FFFF => 1, 0x5FFFE => 1, 0x5FFFF => 1,
+x6FFFE => 1, 0x6FFFF => 1, 0x7FFFE => 1, 0x7FFFF => 1,
+x8FFFE => 1, 0x8FFFF => 1, 0x9FFFE => 1, 0x9FFFF => 1,
+xAFFFE => 1, 0xAFFFF => 1, 0xBFFFE => 1, 0xBFFFF => 1,
+xCFFFE => 1, 0xCFFFF => 1, 0xDFFFE => 1, 0xDFFFF => 1,
+xEFFFE => 1, 0xEFFFF => 1, 0xFFFFE => 1, 0xFFFFF => 1,
+x10FFFE => 1, 0x10FFFF => 1,
+                }->{$self->{next_char}}) {
+         !!!cp ('i4.1');
+         if ($self->{next_char} < 0x10000) {
+           !!!parse-error (type => 'control char',
+                           text => (sprintf 'U+%04X', $self->{next_char}));
+         } else {
+           !!!parse-error (type => 'control char',
+                           text => (sprintf 'U-%08X', $self->{next_char}));
+         }
        }
      };
      $p->{prev_char} = [-1, -1, -1];
-Line 6519 
 sub set_inner_html ($$$) {
+Line 7562 
 sub set_inner_html ($$$) {
      my $ponerror = $onerror || sub {
        my (%opt) = @_;
-       warn "Parse error ($opt{type}) at line $opt{line} column $opt{column}\n";
+       my $line = $opt{line};
+       my $column = $opt{column};
+       if (defined $opt{token} and defined $opt{token}->{line}) {
+         $line = $opt{token}->{line};
+         $column = $opt{token}->{column};
+       }
+       warn "Parse error ($opt{type}) at line $line column $column\n";
      };
      $p->{parse_error} = sub {
-       $ponerror->(@_, line => $line, column => $column);
+       $ponerror->(line => $p->{line}, column => $p->{column}, @_);
      };
      $p->_initialize_tokenizer;
-Line 6546 
 sub set_inner_html ($$$) {
+Line 7595 
 sub set_inner_html ($$$) {
          unless defined $p->{content_model};
          ## ISSUE: What is "the name of the element"? local name?
-     $p->{inner_html_node} = [$node, $node_ln];
+     $p->{inner_html_node} = [$node, $el_category->{$node_ln}];
+       ## TODO: Foreign element OK?
      ## Step 3
      my $root = $doc->create_element_ns
-Line 6556 
 sub set_inner_html ($$$) {
+Line 7606 
 sub set_inner_html ($$$) {
      $doc->append_child ($root);
      ## Step 5 # MUST
-     push @{$p->{open_elements}}, [$root, 'html'];
+     push @{$p->{open_elements}}, [$root, $el_category->{html}];
      undef $p->{head_element};
-Line 6602 
 sub set_inner_html ($$$) {
+Line 7652 
 sub set_inner_html ($$$) {
      ## ISSUE: mutation events?
      $p->_terminate_tree_constructor;
+     delete $p->{parse_error}; # delete loop
    } else {
      die "$0: |set_inner_html| is not defined for node of type $nt";
    }

 Legend:



Removed from v.1.120
 


changed lines


 
Added in v.1.161
 Legend:



Removed from v.1.120
 


changed lines


 
Added in v.1.161
-Removed from v.1.120
+Added in v.1.161

admin@suikawiki.org	ViewVC Help
Powered by ViewVC 1.1.24