1 files changed, 35 insertions, 0 deletions
diff --git a/dat.h b/dat.h
index 5e1641e..5cf3001 100644
--- a/dat.h
+++ b/dat.h
@@ -109,13 +109,48 @@ int debug;
 
 /* Flags */
 enum {
+	BoundedTrue,
+	BoundedFalse,
+};
+
+enum {
+	IntegerRoundDown,
+	IntegerRoundTowardZero,
+};
+
+enum {
+	CharConversionOn,
+	CharConversionOff,
+};
+
+enum {
+	DebugOn,
+	DebugOff,
+};
+
+enum {
+	UnknownError,
+	UnknownFail,
+	UnknownWarning,
+};
+
+enum {
 	DoubleQuotesChars,
 	DoubleQuotesCodes,
 	DoubleQuotesAtom,
 };
 
+int flagbounded;
+vlong flagmaxinteger;
+vlong flagmininteger;
+int flagintegerroundingfunction;
+int flagcharconversion;
+int flagdebug;
+vlong flagmaxarity;
+int flagunknown;
 int flagdoublequotes;
 
+
 /* State of the running system */
 Choicepoint *choicestack;
 Goal *goalstack;