182             UTF8-octets = *( UTF8-char )  in skip()
183             UTF8-char   = UTF8-1 / UTF8-2 / UTF8-3 / UTF8-4  in skip()
184             UTF8-1      = %x00-7F  in skip()
185             UTF8-2      = %xC2-DF UTF8-tail  in skip()
186             UTF8-3      = %xE0 %xA0-BF UTF8-tail / %xE1-EC 2( UTF8-tail ) /  in skip()
187                           %xED %x80-9F UTF8-tail / %xEE-EF 2( UTF8-tail )  in skip()
188             UTF8-4      = %xF0 %x90-BF 2( UTF8-tail ) / %xF1-F3 3( UTF8-tail ) /  in skip()
189                           %xF4 %x80-8F 2( UTF8-tail )  in skip()
190             UTF8-tail   = %x80-BF  in skip()
208         SECTION("UTF8-1 (x00-x7F)")  in skip()
242         SECTION("UTF8-2 (xC2-xDF UTF8-tail)")  in skip()
284         SECTION("UTF8-3 (xE0 xA0-BF UTF8-tail)")  in skip()
365         SECTION("UTF8-3 (xE1-xEC UTF8-tail UTF8-tail)")  in skip()
446         SECTION("UTF8-3 (xED x80-9F UTF8-tail)")  in skip()
527         SECTION("UTF8-3 (xEE-xEF UTF8-tail UTF8-tail)")  in skip()