void f(void) {
	char x[][4] = {"abc", "xyz"};
}