gemini_putchar
# define GEMINI_PUTCHAR(c) gemini_putchar(c)
void gemini_putchar(char c);
gemini_putchar('0');
gemini_putchar('x');
gemini_putchar(hexc[(val >> 28) & 0xf]);
gemini_putchar(hexc[(val >> 24) & 0xf]);
gemini_putchar(hexc[(val >> 20) & 0xf]);
gemini_putchar(hexc[(val >> 16) & 0xf]);
gemini_putchar(hexc[(val >> 12) & 0xf]);
gemini_putchar(hexc[(val >> 8) & 0xf]);
gemini_putchar(hexc[(val >> 4) & 0xf]);
gemini_putchar(hexc[(val >> 0) & 0xf]);