void f(void) {
	int *x = __builtin_alloca(32);
}