The text 1f6d3a113e0b, as Debian 7 (Wheezy) shipped it.
Writes a char value to kernel memory
function::set_kernel_char(3stap) on Linux now
