The text c51f49c91eb5, as Debian 8 (Jessie) shipped it.
Retrieves an int value stored in user space
function::user_int(3stap) on Linux now
