while ループを同等の do-while ループコンストラクトに置換します。