__xdata __at 0 unsigned int a[0];

void main(void) {
  a[10] |= 20;
}