static int ssh_gssapi_krb5_userok(ssh_gssapi_client *client, char *name);
static int ssh_gssapi_krb5_localname(ssh_gssapi_client *client, char **user);
static void ssh_gssapi_krb5_storecreds(ssh_gssapi_client *client);
static int ssh_gssapi_krb5_userok(ssh_gssapi_client *client, char *name);
static int ssh_gssapi_krb5_localname(ssh_gssapi_client *client, char **user);
static void ssh_gssapi_krb5_storecreds(ssh_gssapi_client *client);