test_c_veri_worker MkConnection mkTestbench_MkConnection {} "bsv" 1 1 "mkTestbench_MkConnection.v.out.expected" "" ""