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