Index: tests/forall.cfa
===================================================================
--- tests/forall.cfa	(revision 083203b743dd2d90dcbefe79a59fdaf85a352139)
+++ tests/forall.cfa	(revision 8f936bfe68b397cd1aa78e1ca4aa63bd035cedd3)
@@ -10,6 +10,6 @@
 // Created On       : Wed May  9 08:48:15 2018
 // Last Modified By : Peter A. Buhr
-// Last Modified On : Tue Nov  6 17:53:43 2018
-// Update Count     : 31
+// Last Modified On : Tue Mar 19 08:29:38 2019
+// Update Count     : 32
 // 
 
@@ -53,6 +53,4 @@
 	right = temp;
 }
-
-void ?{}( int & c, zero_t ) { c = 0; }					// not in prelude
 
 trait sumable( otype T ) {
Index: tests/rational.cfa
===================================================================
--- tests/rational.cfa	(revision 083203b743dd2d90dcbefe79a59fdaf85a352139)
+++ tests/rational.cfa	(revision 8f936bfe68b397cd1aa78e1ca4aa63bd035cedd3)
@@ -10,6 +10,6 @@
 // Created On       : Mon Mar 28 08:43:12 2016
 // Last Modified By : Peter A. Buhr
-// Last Modified On : Tue Dec  4 21:46:42 2018
-// Update Count     : 69
+// Last Modified On : Tue Mar 19 08:30:28 2019
+// Update Count     : 73
 //
 
@@ -19,8 +19,4 @@
 #include <fstream.hfa>
 
-// UNNECESSARY, FIX ME
-void ?{}( int & this ) { this = 0; }
-void ?{}( int & this, zero_t ) { this = 0; }
-void ?{}( int & this, one_t ) { this = 1; }
 double convert( int i ) { return (double)i; }
 int convert( double d ) { return (int)d; }