minmax_ii_update 1788 enum.c             minmax_ii_update(i, j, memo);
minmax_ii_update 1821 enum.c         	    minmax_ii_update(m->last, m->last, m);