function::kernel_or_user_string_quoted_utf32(3stap) on Linux

The text 06d2f7c9d761, as Debian 12 (Bookworm) shipped it.

Retrieves and quotes UTF-32 string from kernel or user memory