1#include <stdbool.h>
2#include <stdlib.h>
3int strcmp (const char*, const char*);
4char s[2048] = "a";
5inline bool foo(const char *str) {
6  return !strcmp(s,str);
7}
8int main() {
9int i = 0;
10  while(!(foo(""))) {
11    i ++;
12    s[0] = '\0';
13    if (i>2)
14     abort ();
15  }
16  return 0;
17}
18
19