Function run_genmc_mode 

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