Index: generic/xotclInt.h
===================================================================
diff -u -r533853e3ec6ac529b38d1d48e2fdb82ff7135429 -r9474936bd01f25c80caa91f9b3164a3072457f66
--- generic/xotclInt.h	(.../xotclInt.h)	(revision 533853e3ec6ac529b38d1d48e2fdb82ff7135429)
+++ generic/xotclInt.h	(.../xotclInt.h)	(revision 9474936bd01f25c80caa91f9b3164a3072457f66)
@@ -657,6 +657,7 @@
   int unknown;
   int doFilters;
   int doSoftrecreate;
+  int doKeepinitcmd;
   int exitHandlerDestroyRound;
   int returnCode;
   int overloadedMethods;