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