The text 261bcae466b3, as Debian 7 (Wheezy) shipped it.
Retrieves an int value stored in kernel memory
function::kernel_int(3stap) on Linux now
