#1

merge1 does it correctly
merge2 is like the book, but only works when B is lesser or equal in
size to A. A more tight looping condition similar to merge1 will fix the
problem.