The text 73c706d1a339, as Debian 8 (Jessie) shipped it.
Retrieves a short value stored in user space
function::user_short(3stap) on Linux now
