As bit-vector-and, but vector1 may be modified.
| vector1 | An instance of <bit-vector>. |
| vector2 | An instance of <bit-vector>. |
| pad1: | An instance of <bit>, used if needed to expand the effective size of vector1. The default is 0. |
| pad2: | An instance of <bit>, used if needed to expand the effective size of vector2. The default is 0. |
| result | An instance of <bit-vector>. |
| pad | An instance of <bit>. Any bits past the size of result would be set to this value. |