Test

Symbol: new_bv