#include <stdio.h>
typedef char AlignedChar __attribute__ ((aligned (8)));

AlignedChar test[16]={};

int main(void) {
	printf("%zu\n",sizeof(test));
	// your code goes here
	return 0;
}