void int2hex(unsigned u) { static char* hex = "0123456789abcdef";if (u == 0) return;int2hex(u >> 4);putchar(hex[u & 0xf]);}