#include <stdio.h>
#include <stdint.h>
#include <string.h>
void wtf_1(char* data){
char str[80];
unsigned int len;
for(len = 0; data[len]!='\0'; ++len);
sprintf(str
, "Value of len = %d\n",len
); data[len] = 'a';
data[len+1] = '\0';
}
void wtf_2(void){
static char data[14];
wtf_1(data);
}
int main(void) {
int i;
for (i = 0; i < 4; ++i)
{
wtf_2();
}
return 0;
}
I2luY2x1ZGUgPHN0ZGlvLmg+CiNpbmNsdWRlIDxzdGRpbnQuaD4KI2luY2x1ZGUgPHN0cmluZy5oPgoKdm9pZCB3dGZfMShjaGFyKiBkYXRhKXsKCWNoYXIgc3RyWzgwXTsKCXVuc2lnbmVkIGludCBsZW47Cglmb3IobGVuID0gMDsgZGF0YVtsZW5dIT0nXDAnOyArK2xlbik7CglzcHJpbnRmKHN0ciwgIlZhbHVlIG9mIGxlbiA9ICVkXG4iLGxlbik7CglkYXRhW2xlbl0gPSAnYSc7CglkYXRhW2xlbisxXSA9ICdcMCc7CglwcmludGYoc3RyKTsKCXByaW50ZihkYXRhKTsKCQp9Cgp2b2lkIHd0Zl8yKHZvaWQpewoJc3RhdGljIGNoYXIgZGF0YVsxNF07Cgl3dGZfMShkYXRhKTsKfQoKaW50IG1haW4odm9pZCkgewoJaW50IGk7Cglmb3IgKGkgPSAwOyBpIDwgNDsgKytpKQoJewoJCXd0Zl8yKCk7Cgl9CgoJCgkKCXJldHVybiAwOwp9Cg==