Index: generic/xotclInt.h
===================================================================
diff -u -r5ab730ebd0e769e5f376cc2db8aa22b024a9c498 -rebd253f47f14822a54b86b379622f6509cbbc4fe
--- generic/xotclInt.h	(.../xotclInt.h)	(revision 5ab730ebd0e769e5f376cc2db8aa22b024a9c498)
+++ generic/xotclInt.h	(.../xotclInt.h)	(revision ebd253f47f14822a54b86b379622f6509cbbc4fe)
@@ -238,10 +238,12 @@
 # define XOTclMutexUnlock(a) (*(a))--
 #endif
 
-#if defined(PRE84)
-# define CONST84 
-#else
-# define CONST84 CONST
+#if !defined(CONST84) 
+# if defined(PRE84)
+#  define CONST84 
+# else
+#  define CONST84 CONST
+# endif
 #endif
 
 #if defined(PRE81)