2 ms·

I was reading Agner and he lumped them all together. But you might be right. DWIW, tick tock didn’t start until 2007.