The text 025af4a1a8dd, as Debian 10 (Buster) shipped it.
convert a wide character to uppercase
towupper(3) on Linux now
