DRSHIFT
if ((state == IDLE) || (state == DRSHIFT) ||
/* DRCAPTURE */ { DREXIT1, DRSHIFT },
/* DRSHIFT */ { DREXIT1, DRSHIFT },
/* DREXIT2 */ { DRUPDATE, DRSHIFT },
case DRSHIFT:
case DRSHIFT:
case DRSHIFT:
case DRSHIFT: