103 static const char *hex_chars = "0123456789abcdef";  variable
114     byte[0] = hex_chars[(bb[i] >> 4) & 0xf];  in emit_hex()
115     byte[1] = hex_chars[bb[i] & 0xf];  in emit_hex()
125   buf[2] = hex_chars[(x >> 28) & 0xf];  in emit_uint32()
126   buf[3] = hex_chars[(x >> 24) & 0xf];  in emit_uint32()
127   buf[4] = hex_chars[(x >> 20) & 0xf];  in emit_uint32()
128   buf[5] = hex_chars[(x >> 16) & 0xf];  in emit_uint32()
129   buf[6] = hex_chars[(x >> 12) & 0xf];  in emit_uint32()
130   buf[7] = hex_chars[(x >> 8) & 0xf];  in emit_uint32()
131   buf[8] = hex_chars[(x >> 4) & 0xf];  in emit_uint32()
132   buf[9] = hex_chars[x & 0xf];  in emit_uint32()