function::user_short_error(3stap) on Linux

The text 025dce71d32d, as Debian 11 (Bullseye) shipped it.

Retrieves a short value stored in user space

function::user_short_error(3stap) on Linux now