bitvector_secompax