The text 1eeb1f7a6aef, as Debian 8 (Jessie) shipped it.
Retrieves and quotes string from user space
function::user_string_quoted(3stap) on Linux now
