Index: tests/forall.cfa
===================================================================
--- tests/forall.cfa	(revision d2b94f2b8e57e60c3b3f499bbd0a67444001a97c)
+++ tests/forall.cfa	(revision 8a972486173f920eea1f1868fff138e1568a8a59)
@@ -10,6 +10,6 @@
 // Created On       : Wed May  9 08:48:15 2018
 // Last Modified By : Peter A. Buhr
-// Last Modified On : Sat Jun  5 10:06:08 2021
-// Update Count     : 36
+// Last Modified On : Thu Feb  2 15:28:45 2023
+// Update Count     : 38
 //
 
@@ -56,5 +56,5 @@
 }
 
-trait sumable( T ) {
+forall( T ) trait sumable {
 	void ?{}( T &, zero_t );							// 0 literal constructor
 	T ?+?( T, T );										// assortment of additions
@@ -64,5 +64,5 @@
 }; // sumable
 
-forall( T | sumable( T ) )						// use trait
+forall( T | sumable( T ) )								// use trait
 T sum( size_t size, T a[] ) {
 	T total = 0;										// initialize by 0 constructor