2 * global variable px in function buggy, is marked rematr..
3 * and is erronously assumed to retain its value "x" across
4 * the function call to fiddle_px
9 _STATMEM char * data px;
10 _STATMEM char x[2] = {0,42};
12 void fiddle_px(_STATMEM char * unused) {
13 (volatile char) unused[0]; // shut up
25 ASSERT(buggy() == 42);