The text 6ea3576e0248, as Debian 10 (Buster) shipped it.
Verilator coverage analyzer
verilator_coverage_bin_dbg(1) on Linux now
