ステートメントの境界がシーケンスポイントとして定義されているプログラミング言語では、関数呼び出しcodice_6、codice_7、codice_8が正確な順序で実行されなければならない。