The text 80e26d2061f2, as Debian 10 (Buster) shipped it.
Destroying workqueue
probe::workqueue.destroy(3stap) on Linux now
