479 |
(write-multibyte-character r5 r3)) |
(write-multibyte-character r5 r3)) |
480 |
(write-multibyte-character r6 r3)) |
(write-multibyte-character r6 r3)) |
481 |
(if (r0 >= #xf8) ; 5- or 6-byte encoding |
(if (r0 >= #xf8) ; 5- or 6-byte encoding |
482 |
((read r1) |
((r0 = -1) |
483 |
(if (r1 < #xa0) |
(read r0) |
484 |
(if (r1 < #x80) ; invalid byte |
(if (r0 < #xa0) |
485 |
(write r1) |
(if (r0 < #x80) ; invalid byte |
486 |
(write-multibyte-character r5 r1)) |
(write r0) |
487 |
(write-multibyte-character r6 r1)) |
(write-multibyte-character r5 r0)) |
488 |
|
(write-multibyte-character r6 r0)) |
489 |
(if (r0 >= #xfc) ; 6-byte |
(if (r0 >= #xfc) ; 6-byte |
490 |
((read r1) |
((r0 = -1) |
491 |
(if (r1 < #xa0) |
(read r0) |
492 |
(if (r1 < #x80) ; invalid byte |
(if (r0 < #xa0) |
493 |
(write r1) |
(if (r0 < #x80) ; invalid byte |
494 |
(write-multibyte-character r5 r1)) |
(write r0) |
495 |
(write-multibyte-character r6 r1))))))) |
(write-multibyte-character r5 r0)) |
496 |
|
(write-multibyte-character r6 r0))))))) |
497 |
;; else invalid byte >= #xfe |
;; else invalid byte >= #xfe |
498 |
(write-multibyte-character r6 r0)))))) |
(write-multibyte-character r6 r0)))))) |
499 |
(repeat))) |
(repeat))) |