memcpy() above has same effect as:

for (i = lo; i <= hi; i++) aux[i] = a[i];

Address arithmetic:

• b+lo  is being used for  &b[lo]
• b+mid+1  is being used for  &b[mid+1]
• a+lo  is being used for  &a[lo]