Extract a slightly more general BitVector printer.