Ariane 5の打ち上げ失敗の時は「Adaで書いてるから」で間抜けなコードを書いて実行時にエラーを起こして止まって姿勢崩して空中分解して、
今回のCloudflareの障碍は「Rustで書いてるから」で間抜けなコードを書いて実行時にPanic出して止まった＞＜
SPARKのような形式検証環境であればそもそも間抜けなコード（想定の間に矛盾があるコード）がコンパイルされる事を防ぐので、間抜けじゃないコードをいちいち書く事になるのでこういう事が大幅に減るかも＞＜