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