The text 0c01c38495d0, as Debian 7 (Wheezy) shipped it.
set log priority mask
setlogmask(3) on Linux now
