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


extern /*@only@*/ mut mut_create (void);
extern void mut_mod (mut  /* a */);