copyAddrToAddrNonOverlapping# src dest len copies
len bytes from
src to
dest. As the name
suggests, these two memory ranges
must not overlap, although
this pre-condition is not checked.
Analogous to the standard C function
memcpy, but with a
different argument order.
Warning: this can fail with an unchecked exception.