void f() { char str[0x10]; str[15] = 0; str[16] = 0; }