Resurrected full 40 bits of time_cntr