typedef void (*tss_dtor_t)(void*);

/*
STDC(201112)
*/