expanding bit-vector width as needed