@@
identifier X;
@@
- int X = SPECPDL_INDEX ();
+ ptrdiff_t X = SPECPDL_INDEX ();