Fix 14413. The contract of bit-vector-copy was wrong.