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