- static char str[] = "_0000000";
- int i;
-
- i = sizeof (str) - 2;
- while (++str[i] == '9'+1) {
- str[i--] = '0';
- /* if following assertion fails, we get called far too often ;-) */
- assert (i >= 0);
- }
- assert (('0' <= str[i]) && (str[i] <= '9'));
-
- return ID_FROM_STR (str, sizeof (str) - 1);