Cryptol.Utils.Panic
panic