回答編集履歴

  ```

  もう一つここの動作も怪しいです。コメントで「実行後 head 自体は変化なく」と言っているように、この関数は実際には分割しません。いくらかのカード分進めたポインターを返すだけで、元も山は元の状態で残ったままです

  （もう一つ小さなミスとしては引数のnが残ったカードの数ではなく、実際は進めるカードの数になっているということ）。ところがreverse内での実際の使用法を見ると、分割される前提で元の山に積み上げていっているので、どんどんカードの枚数が増えていきます(pileupの実装次第ではループした単方向リストになる)。