static void f(void) {
    char str[123]; // $ Alert
}