The text a4d71c59461e, as Debian 11 (Bullseye) shipped it.
Writes a string to user memory.
function::set_user_string_arg(3stap) on Linux now
