Make htif_pthread_t deterministic