void f(void) {
	char s[10] = "abc";
}