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 };