extern void __VERIFIER_error() __attribute__ ((__noreturn__));


void __blast_assert()
{
 ERROR: __VERIFIER_error();
}









void check_error(int b) {
 ((b) ? (0) : __blast_assert ());
}


int main(void) {
 int i=0;
        while(i<5) {
                i++;



  check_error(i!=3);

        }
 return 0;
}