```c #pragma flow enable int main() { char a[4] = { 0 }; static_debug(a); if (a[0] == 'U' && a[1] == '\0') { } } ```