test_c_veri_bsv Bug1353