The text a99f51f7ee7c, as Debian 12 (Bookworm) shipped it.
Verilator coverage analyzer
verilator_coverage_bin_dbg(1) on Linux now
