EXP_TID_SET_EMPTY
if (!EXP_TID_SET_EMPTY(uctxt->tid_full_list))
if (!EXP_TID_SET_EMPTY(uctxt->tid_used_list))