The text 85b9a19887b8, as Debian 10 (Buster) shipped it.
write to the tty line
probe::tty.write(3stap) on Linux now