switch (t->back) {
	default: Uerror("bad return move");
	case  0: goto R999; /* nothing to undo */

		 /* PROC :init: */
;
		;
		
	case 4: // STATE 2
		;
		now.fork[ Index(((P1 *)_this)->k, 4) ] = trpt->bup.oval;
		;
		goto R999;

	case 5: // STATE 3
		;
		((P1 *)_this)->k = trpt->bup.oval;
		;
		goto R999;

	case 6: // STATE 9
		;
		((P1 *)_this)->k = trpt->bup.ovals[1];
	/* 0 */	((P1 *)_this)->k = trpt->bup.ovals[0];
		;
		;
		ungrab_ints(trpt->bup.ovals, 2);
		goto R999;

	case 7: // STATE 9
		;
		((P1 *)_this)->k = trpt->bup.oval;
		;
		goto R999;
;
		;
		
	case 9: // STATE 11
		;
		;
		delproc(0, now._nr_pr-1);
		;
		goto R999;

	case 10: // STATE 12
		;
		((P1 *)_this)->k = trpt->bup.oval;
		;
		goto R999;

	case 11: // STATE 13
		;
	/* 0 */	((P1 *)_this)->k = trpt->bup.oval;
		;
		;
		goto R999;

	case 12: // STATE 19
		;
		p_restor(II);
		;
		;
		goto R999;

		 /* PROC Philosopher */
;
		;
		
	case 14: // STATE 3
		;
		now.fork[ Index(((P0 *)_this)->i, 4) ] = trpt->bup.oval;
		;
		goto R999;

	case 15: // STATE 6
		;
		now.fork[ Index(((((P0 *)_this)->i+1)%4), 4) ] = trpt->bup.oval;
		;
		goto R999;
;
		;
		
	case 17: // STATE 9
		;
		eating[ Index(((P0 *)_this)->i, 4) ] = trpt->bup.oval;
		;
		goto R999;

	case 18: // STATE 10
		;
		eating[ Index(((P0 *)_this)->i, 4) ] = trpt->bup.oval;
		;
		goto R999;

	case 19: // STATE 11
		;
		now.fork[ Index(((P0 *)_this)->i, 4) ] = trpt->bup.oval;
		;
		goto R999;

	case 20: // STATE 12
		;
		now.fork[ Index(((((P0 *)_this)->i+1)%4), 4) ] = trpt->bup.oval;
		;
		goto R999;
;
		;
		
	case 22: // STATE 15
		;
		now.fork[ Index(((((P0 *)_this)->i+1)%4), 4) ] = trpt->bup.oval;
		;
		goto R999;

	case 23: // STATE 18
		;
		now.fork[ Index(((P0 *)_this)->i, 4) ] = trpt->bup.oval;
		;
		goto R999;
;
		;
		
	case 25: // STATE 21
		;
		eating[ Index(((P0 *)_this)->i, 4) ] = trpt->bup.oval;
		;
		goto R999;

	case 26: // STATE 22
		;
		eating[ Index(((P0 *)_this)->i, 4) ] = trpt->bup.oval;
		;
		goto R999;

	case 27: // STATE 23
		;
		now.fork[ Index(((P0 *)_this)->i, 4) ] = trpt->bup.oval;
		;
		goto R999;

	case 28: // STATE 24
		;
		now.fork[ Index(((((P0 *)_this)->i+1)%4), 4) ] = trpt->bup.oval;
		;
		goto R999;

	case 29: // STATE 28
		;
		p_restor(II);
		;
		;
		goto R999;
	}