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