let
fatal text =
Sparecode_params
.fatal text