let fatal text = Sparecode_params.fatal text