リトラクションをテストするための小さなファイルで、3つのサイズがあります。