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