| int b1[] __attribute((section(".x1"))) = { 0x85, 0x86, 0x87, 0x88 }; | |
| int b2[] __attribute((section(".x2"))) = { 0x95, 0x96, 0x97, 0x98 }; | |
| int b3[] __attribute((section(".x3"))) = { 0xa5, 0xa6, 0xa7, 0xa8 }; | |
| int b4[] __attribute((section(".x4"))) = { 0xff, 0xff, 0xff, 0xff }; |