しかし、codice_1ループはライブラリー関数であり、プログラマーは組み込みのcodice_1ループを、他の好きなcodice_1ループで置き換えることができる。