volatile unsigned int __idata __at(0xf8) stack_cookie; /* for 256 byte idata */