The text 96ce332ce7e1, as Debian 7 (Wheezy) shipped it.
Writes an int value to kernel memory
function::set_kernel_int(3stap) on Linux now
