taglinefilesource code
SMALL74kernel/vsprintf.cif (type&SMALL) digits="0123456789abcdefghijklmnopqrstuvwxyz";
SMALL231kernel/vsprintf.cflags |= SMALL;