eager explanation for bit-vectors bug fixes