The text 412b37844ce2, as Debian 10 (Buster) shipped it.
Convert Verilog code to C++/SystemC
verilator_bin_dbg(1) on Linux now
