Create bitvector_secompax