is_digit          716 vsnprintf.c    			while (is_digit(ch)) {
is_digit          736 vsnprintf.c    			} while (is_digit(ch));