fmt_utf8(3) on Linux

The text c1234c333efd, as Debian 11 (Bullseye), Debian 10 (Buster), Debian 9 (Stretch) shipped it.

encode 31-bit unsigned integer using UTF-8 rules

fmt_utf8(3) on Linux now