This guarantees correct execution of the program.
これによってプログラムの正しい実行が保証される。