#include <pthread.h>
#include <stdio.h>

void *
test_thread(void *)
{
	double array[1] __attribute__((aligned(16)));;

	printf("BAD address: %p\n", array);

	return NULL;
}

int
main(int argc, char *argv[])
{
	double array[1] __attribute__((aligned(16)));;

	printf("OK address: %p\n", array);

	pthread_t tid;
	pthread_create(&tid, NULL, test_thread, NULL);
	pthread_join(tid, NULL);

	return 0;
}