test_c_veri_bsv Bug431