pikhq

void kputhex(int out){        const char *hextable = "0123456789ABCDEF";        char buffer[sizeof(int)*2] = {0};        kputs("0x");        for (int i = 0; i < sizeof(int)*2; i++) {                buffer[sizeof(int)*2 - i] = '0' + (out & 0x0F);                out = out >> 4;        }        kputs(buffer);}