Incorrect. A function cannot return two values. Merge(A,B) calls merge(A,B). That is an infinite loop.