HexCharOfValue    596 src/bignum.cc        buffer[string_index--] = HexCharOfValue(current_bigit & 0xF);
HexCharOfValue    603 src/bignum.cc      buffer[string_index--] = HexCharOfValue(most_significant_bigit & 0xF);