digits             30 console.c        static char digits[] = "0123456789abcdef";
digits             42 console.c          buf[i++] = digits[x % base];
digits             14 printf.c         static char digits[] = "0123456789ABCDEF";
digits             29 printf.c           buf[i++] = digits[x % base];