- DST_WIDTH must both be positive.
-
- It is important that SRC_WIDTH and DST_WIDTH be the actual
- widths with which SRC and DST were initialized. Passing,
- e.g., smaller values in order to copy only a prefix of SRC or
- modify only a prefix of DST will not work in every case. */