The text c52dc53e82d2, as Debian 9 (Stretch) shipped it.
Retrieves a short value stored in user space
function::user_short_warn(3stap) on Linux now
