/* Output from LCLint 2.2c+ */
# include "bool.h"



extern char  **globstring;
extern /*@only@*/ abst abst_create (/*@dependent@*/ abst  /* p */, /*@only@*/ char * /* x */, int  /* i */);
extern /*@only@*/ char *abst_name (abst  /* a */);
extern int abst_val (abst  /* a */);
extern int *abst_aval (abst  /* a */);
extern /*@only@*/ abst abst_parent (/*@only@*/ abst  /* a */);
extern /*@dependent@*/ char *immut_name (immut  /* im */);
extern void abst_setIm (abst  /* a */, immut  /* im */);
extern immut abst_getIm (abst  /* a */);