The text ed9721e35cf4, as Debian 7 (Wheezy) shipped it.
Retrieves string from user space
function::user_string(3stap) on Linux now
