di_nextsolvablekey
case di_nextsolvablekey: di_nextsolvablekey:
goto di_nextsolvablekey;
di->state = di_nextsolvablekey;
di->state = di_nextsolvablekey;
di->state = di_nextsolvablekey;