char nibble_hex(short h);
char *catn_alloc(size_t n, ...);