203             UTF8-octets = *( UTF8-char )  in skip()
204             UTF8-char   = UTF8-1 / UTF8-2 / UTF8-3 / UTF8-4  in skip()
205             UTF8-1      = %x00-7F  in skip()
206             UTF8-2      = %xC2-DF UTF8-tail  in skip()
207             UTF8-3      = %xE0 %xA0-BF UTF8-tail / %xE1-EC 2( UTF8-tail ) /  in skip()
208                           %xED %x80-9F UTF8-tail / %xEE-EF 2( UTF8-tail )  in skip()
209             UTF8-4      = %xF0 %x90-BF 2( UTF8-tail ) / %xF1-F3 3( UTF8-tail ) /  in skip()
210                           %xF4 %x80-8F 2( UTF8-tail )  in skip()
211             UTF8-tail   = %x80-BF  in skip()
229         SECTION("UTF8-1 (x00-x7F)")  in skip()
263         SECTION("UTF8-2 (xC2-xDF UTF8-tail)")  in skip()
305         SECTION("UTF8-3 (xE0 xA0-BF UTF8-tail)")  in skip()
386         SECTION("UTF8-3 (xE1-xEC UTF8-tail UTF8-tail)")  in skip()
467         SECTION("UTF8-3 (xED x80-9F UTF8-tail)")  in skip()
548         SECTION("UTF8-3 (xEE-xEF UTF8-tail UTF8-tail)")  in skip()