The text 1de1b0a560f2, as Debian 8 (Jessie) shipped it.
Retrieves a short value stored in kernel memory
function::kernel_short(3stap) on Linux now
