minmax_by_i_update 2064 enum.c             minmax_by_i_update(vi, vj, i, j, memo);
minmax_by_i_update 2100 enum.c                 minmax_by_i_update(m->last_bv, m->last_bv, m->last, m->last, m);