print_gss_name
void print_gss_name(const char *, gss_name_t);
print_gss_name("User is", client_name);
print_gss_name("Server is", server_name);