__eds__ int crc_table[] __attribute__((space(psv))) = { /* some values */ };