The text c8df1b5938de, as Debian 10 (Buster) shipped it.
Writes an int value to kernel memory
function::set_kernel_int(3stap) on Linux now
