The text ba7933293e00, as Debian 11 (Bullseye) shipped it.
Verilator coverage analyzer
verilator_coverage_bin_dbg(1) on Linux now
