The text e0dc9abc2a02, as Debian 7 (Wheezy) shipped it.
convert a wide character to lowercase
towlower(3) on Linux now