固定長整数型のオーバーフロー対策処理をAdaで書いたコードでちゃんとやらなくてロケットぶっ壊した事例＞＜
https://mstdn.nere9.help/@orange_in_space/109982513208154609