- [[char delimiters[] = "xxxxxxxx";
- char *save_ptr = (char *) 0xd0d0;
- strtok_r (delimiters, "x", &save_ptr);
- strtok_r (NULL, "x", &save_ptr);
- return 0;
+ [[static const char dummy[] = "\177\01a";
+ char delimiters[] = "xxxxxxxx";
+ char *save_ptr = (char *) dummy;
+ strtok_r (delimiters, "x", &save_ptr);
+ strtok_r (NULL, "x", &save_ptr);
+ return 0;