(void)nssToken_Destroy(tok);
token_destructor(void *t){    NSSToken *tok = (NSSToken *)t;#ifdef NSS_3_4_CODE    /* in 3.4, also destroy the slot (managed separately) */    (void)nssSlot_Destroy(tok->slot);#endif    (void)nssToken_Destroy(tok);}