1950     hex_digits[16];  in StringInfoToHexString()  local
1959   hex_digits[0]='0';  in StringInfoToHexString()
1960   hex_digits[1]='1';  in StringInfoToHexString()
1961   hex_digits[2]='2';  in StringInfoToHexString()
1962   hex_digits[3]='3';  in StringInfoToHexString()
1963   hex_digits[4]='4';  in StringInfoToHexString()
1964   hex_digits[5]='5';  in StringInfoToHexString()
1965   hex_digits[6]='6';  in StringInfoToHexString()
1966   hex_digits[7]='7';  in StringInfoToHexString()
1967   hex_digits[8]='8';  in StringInfoToHexString()
1968   hex_digits[9]='9';  in StringInfoToHexString()
1969   hex_digits[10]='a';  in StringInfoToHexString()
1970   hex_digits[11]='b';  in StringInfoToHexString()
1971   hex_digits[12]='c';  in StringInfoToHexString()
1972   hex_digits[13]='d';  in StringInfoToHexString()
1973   hex_digits[14]='e';  in StringInfoToHexString()
1974   hex_digits[15]='f';  in StringInfoToHexString()
1979     *q++=hex_digits[(*p >> 4) & 0x0f];  in StringInfoToHexString()
1980     *q++=hex_digits[*p & 0x0f];  in StringInfoToHexString()