Symbol: new_bv