test_c_veri_worker MkListReg mkTestbench_MkListReg {} "bsv" 1 1 "mkTestbench_MkListReg.v.out.expected" "" ""