void f(void) {
	_Alignas(16) char x[4];
}