bin/verilator_bin_dbg
