+
+
+/* drl 3/5/2003
+ added limited supported for _Bool */
+
+/*__Bool shouled really be a basic type but edited the grammar and ripping
+ apart the rest of Splint would probably break too much stuff...
+*/
+
+typedef /*@unsignedintegraltype@*/ _Bool;
+
+/*support stdbool.h */
+
+#define bool _Bool
+
+#define true 1
+
+#define false 0
+
+#define __bool_true_false_are_defined 1