__get_token
if ((*minor = __get_token(token, message,
if ((*minor = __get_token(input, NULL, &tok, &keys)) != DH_SUCCESS) {
if (*minor = __get_token(token, NULL, &tok, &keys))
__get_token(gss_buffer_t, gss_buffer_t, dh_token_t, dh_key_set_t);