Index: tests/exceptions/hotpotato.cfa
===================================================================
--- tests/exceptions/hotpotato.cfa	(revision 26be85438f73872e884a2eaebfd4228b2fb121f4)
+++ tests/exceptions/hotpotato.cfa	(revision 7a925a41a1a11e36e1066349f121f6d9e8d91246)
@@ -65,9 +65,4 @@
 } // vote
 
-static void terminate( Player & player ) {				// resume umpire
-	resume( player );
-    assert( false );					                // no return
-} // terminate
-
 void init( Player & player, Player & lp, Player & rp ) with(player) { // supply partners
 	partner[LEFT] = &lp;
@@ -79,8 +74,4 @@
 	return player.id;
 } // getId
-
-void toss( Player & player ) {							// tossed the potato
-    resume( player );
-} // toss
 
 void main( Player & player ) with(player) {
@@ -99,5 +90,5 @@
             size_t side = prng( prng, 2 );
             sout | id | " -> " | nonl;
-            toss( *partner[ side ] );			// random toss left/right
+            resume( *partner[ side ] );			// random toss left/right
         } // for
 	} catchResume( Terminate * v ) {
@@ -122,5 +113,5 @@
         } // if
         resumeAt( umpire, ExceptionInst( Terminate, &player ) );
-        terminate( umpire );
+        resume( umpire );                   // resume umpire to terminate this player
         assert( false );					// no return
     } // try
@@ -198,5 +189,5 @@
 			&umpire = players[rposn];					// designate umpire and start game
 			sout | "U " | nonl;
-			toss( *players[rposn] );
+			resume( *players[rposn] );
 			delete( &umpire );
 		}