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