/* Output from LCLint 3.0.0.8 */

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

extern /*@falseexit@*/ void check (bool  /* x */);