minmax_i_update  1736 enum.c             minmax_i_update(i, j, memo);
minmax_i_update  1826 enum.c         	    minmax_i_update(m->last, m->last, m);