The text a145bc1eefe8, as Debian 10 (Buster) shipped it.
API function
idn2_to_unicode_8z8z(3) on Linux now
