The text 5de89b015f11, as Debian 10 (Buster) shipped it.
Retrieves an int value stored in user space
function::user_int_warn(3stap) on Linux now
