536 	signed char ch;  in sym_string_valid()  local
542 		ch = *str++;  in sym_string_valid()
543 		if (ch == '-')  in sym_string_valid()
544 			ch = *str++;  in sym_string_valid()
545 		if (!isdigit(ch))  in sym_string_valid()
547 		if (ch == '0' && *str != 0)  in sym_string_valid()
549 		while ((ch = *str++)) {  in sym_string_valid()
550 			if (!isdigit(ch))  in sym_string_valid()
557 		ch = *str++;  in sym_string_valid()
559 			if (!isxdigit(ch))  in sym_string_valid()
561 		} while ((ch = *str++));  in sym_string_valid()