/* Output from Splint 3.0.0.20 */

# include "bool.h"
# include "mut.h"

extern int  glob;
extern int  *globp;
extern struct {
    int val;
    int *field;
    }  globs;
extern mut f (mut  /* a */, mut  /* b */);
extern int g (void);
extern int *h (void);