#include <stdio.h>

int big_int __attribute__ ((aligned(16)));

int main()
{
 printf("%ld Bytes\n",sizeof(big_int));
 return 0;
}