Cryptol.Utils.Panic

panic