test_c_veri_bsv TestShifter64