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