/* Output from Splint 3.0.0.20 */
# include "bool.h"


extern void incx1 (pair  /* p */);
extern void incx2 (pair  /* p */);
extern void incx3 (pair  /* p */);
extern void incx4 (pair  /* p */);
extern /*@only@*/ pair pair_create (void);
extern void pair_free (/*@only@*/ /*@out@*/ pair  /* p */);