2 * global variable px in function buggy, is marked rematr..
3 * and is erroneously 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};
13 fiddle_px (_STATMEM
char * unused
)
15 (volatile char) unused
[0]; // shut up
30 ASSERT (buggy () == 42);