The text 8d200afea7d3, as Debian 11 (Bullseye) shipped it.
Compile and begin tracing program.
dlv-trace(1) on Linux now
