added code to make bitvectors