1 #include <stdio.h>
2 
3 const static uint32_t __attribute__ ((aligned (64))) testTab[] =
4   {
5    0xff445566, 0x44556677, 0x33221100,
6    0x88997755, 0x99887755, 0x88997755,
7    0x99546327, 0x7946fa9e, 0xa6b5f8ee,
8    0x12345678
9   };
10 
app_main(void)11 void app_main(void)
12 {
13   /* Do something with the array, in order to avoid it being discarded. */
14   for (uint32_t i = 0; i < 10; i++)
15     printf ("%x\n", testTab[i]);
16 }
17