The text 88fe5b0297f9, as Debian 7 (Wheezy) shipped it.
Retrieves a short value stored in user space
function::user_short_warn(3stap) on Linux now
