The text 5fae1e0d36c3, as Debian 8 (Jessie) shipped it.
Destroying workqueue
probe::workqueue.destroy(3stap) on Linux now