int data[] = { 1, 2, 3, 4, 5, 6, 7, 8 };
int extra[] __attribute__ ((section(".data.extra"))) = { 1, 2, 3, 4 };
int zeroes[1024] = {0};
int main(void)
{
return 0;
}