#include <emmintrin.h>
#include <pthread.h>

void foo_init(void) __attribute__((constructor));
void foo_fini(void) __attribute__((destructor));

void *
foo(void *arg)
{
	__m128i xmm_alpha;

	if ((((unsigned long)&xmm_alpha) & 15) != 0)
		exit(1);
}

void
foo_init(void)
{
	foo(NULL);
}

void
foo_fini(void)
{
	foo(NULL);
}

int
main(void)
{
	pthread_t thread;

	foo(NULL);
	pthread_create(&thread, NULL, foo, NULL);
	return 0;
}