(define b::(bitvector 4))

(assert (= b 0b0001))
(assert (= b 0b0010))
(check)
(dump-context)