const unsigned char __section("ebtr0_data") protectedData[] = {
    0, 2, 4, 6, 8, 10, 12, 14
} ;