Function run_genmc_mode 

pub fn run_genmc_mode<'tcx>(
    _tcx: TyCtxt<'tcx>,
    _config: &MiriConfig,
    _eval_entry: impl Fn(Rc<GenmcCtx>) -> Result<(), NonZeroI32>,
) -> Result<(), NonZeroI32>