いわゆる信頼できないプログラムを動かすセキュア性はなくて、カーネルパニックしない、有限ステップで停止する、を保証してくれるやつ