gnutls_hex_string 1144 src/gnutls.c   				  gnutls_hex_string (serial, buf_size, "")));
gnutls_hex_string 1265 src/gnutls.c   				  gnutls_hex_string (buf, buf_size, "sha1:")));
gnutls_hex_string 1282 src/gnutls.c   				  gnutls_hex_string (buf, buf_size, "sha1:")));