Index: tests/concurrent/examples/boundedBufferEXT.cfa
===================================================================
--- tests/concurrent/examples/boundedBufferEXT.cfa	(revision f8cd310f8a2e04f07eba9dbf60597d9236e4932f)
+++ tests/concurrent/examples/boundedBufferEXT.cfa	(revision c1ea11be4970efec3f9f80c530926827457c3962)
@@ -10,6 +10,6 @@
 // Created On       : Wed Apr 18 22:52:12 2018
 // Last Modified By : Peter A. Buhr
-// Last Modified On : Fri Mar 22 13:41:33 2019
-// Update Count     : 12
+// Last Modified On : Fri Jun 21 08:19:20 2019
+// Update Count     : 14
 //
 
@@ -52,5 +52,5 @@
 }
 
-const int Sentinel = -1;
+enum { Sentinel = -1 };
 
 thread Producer {
@@ -59,5 +59,5 @@
 };
 void main( Producer & prod ) with( prod ) {
-	for ( int i = 1; i <= N; i += 1 ) {
+	for ( i; 1 ~= N ) {
 		yield( random( 5 ) );
 		insert( buffer, 1 );
@@ -99,19 +99,19 @@
 	srandom( 1003 );
 
-	for ( i = 0; i < Cons; i += 1 ) {					// create consumers
+	for ( i; Cons ) {									// create consumers
 		cons[i] = new( &buffer, sums[i] );
 	} // for
-	for ( i = 0; i < Prods; i += 1 ) {					// create producers
+	for ( i; Prods ) {									// create producers
 		prods[i] = new( &buffer, 100000 );
 	} // for
 
-	for ( i = 0; i < Prods; i += 1 ) {					// wait for producers to finish
+	for ( i; Prods ) {									// wait for producers to finish
 		delete( prods[i] );
 	} // for
-	for ( i = 0; i < Cons; i += 1 ) {					// generate sentinal values to stop consumers
+	for ( i; Cons ) {									// generate sentinal values to stop consumers
 		insert( buffer, Sentinel );
 	} // for
 	int sum = 0;
-	for ( i = 0; i < Cons; i += 1 ) {					// wait for consumers to finish
+	for ( i; Cons ) {									// wait for consumers to finish
 		delete( cons[i] );
 		sum += sums[i];