(assert (_ bv1 oopsy