bv (racket): Bitvectors for Racket a-la Rosette
Keywords: bitvector|rosette|racket