Actually, it gets nibbled down by the first statement, and then keeps nibbling at the empty @x because $x[0] < $y[0] is true even if @x is empty. Feed the subroutine ([1,2,3], [4,5,6]) and it never exits.