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