int scanMode __at(0x200); const char table[] __at(0x1000) = { 0, 1, 2, 3, 4 }; int modify(int x) __at(0x1000) { return x * 2 + 3; }