The problem was that when copying a part of an array onto an overlapping
part of the same array, sometimes elements were overwritten before being
copied, leading to silent data corruption.