The text 10aa076ae5b0, as Debian 12 (Bookworm) shipped it.
systemtap indent tapset
tapset::indent(3stap) on Linux now
