[pclmulqdq]

They're all doing fine. I would assume all three of them have an 8-figure net worth given how long they have been in the industry.