/* Output from LCLint 3.0.0.16 */
# include "bool.h"


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