#include <stdio.h>
#include <assert.h>
int main(int argc, char *argv[]) {
assert(1 > 0);
/* stop running */
assert(1 < 0);
return 0;
}