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