# ifndef FORWARDTYPES_H
# define FORWARDTYPES_H
-# ifndef NOLCL
# include "lclForwardTypes.h"
-# endif
abst_typedef /*@null@*/ struct s_sRef *sRef;
abst_typedef /*@null@*/ struct s_uentry *uentry;
abst_typedef /*@null@*/ struct s_annotationInfo *annotationInfo;
abst_typedef /*@null@*/ struct s_inputStream *inputStream;
abst_typedef /*@null@*/ struct s_stateValue *stateValue;
+abst_typedef /*@null@*/ struct s_pointers *pointers;
abst_typedef /*@null@*/ genericTable valueTable;
abst_typedef /*@null@*/ genericTable metaStateTable;
abst_typedef /*@null@*/ genericTable annotationTable;
abst_typedef /*@null@*/ struct s_constraintExpr *constraintExpr;
-/*@-cppnames@*/
-typedef int bool;
-/*@=cppnames@*/
-
abst_typedef /*@untainted@*/ /*@null@*/ char *cstring;
typedef /*@only@*/ cstring o_cstring;