1 /* Output from LCLint 3.0b-alpha */
5 extern void incx1 (pair /* p */);
6 extern void incx2 (pair /* p */);
7 extern void incx3 (pair /* p */);
8 extern void incx4 (pair /* p */);
9 extern /*@only@*/ pair pair_create (void);
10 extern void pair_free (/*@only@*/ /*@out@*/ pair /* p */);