# include "lclForwardTypes.h"
+# if defined (WIN32) || defined (OS2) && defined (__IBMC__)
+/* Microsoft doesn't support ISO C99 yet */
+/*@-namechecks@*/
+typedef int bool;
+/*@=namechecks@*/
+# endif
+
abst_typedef /*@null@*/ struct s_sRef *sRef;
abst_typedef /*@null@*/ struct s_uentry *uentry;
typedef struct s_hashNode *hashNode;
abst_typedef /*@null@*/ struct s_constraintExpr *constraintExpr;
-abst_typedef /*@untainted@*/ /*@null@*/ char *cstring;
+abst_typedef /*@null@*/ char *cstring;
typedef /*@only@*/ cstring o_cstring;
abst_typedef /*@null@*/ struct s_cstringSList *cstringSList;