The text de0a6de70e1b, as Debian 9 (Stretch) shipped it.
Retrieves string from user space
function::user_string(3stap) on Linux now
