[pclmulqdq]

I am bad at addition, but I was going from 2023's numbers, which were indeed close to $6.4 trillion, not $4.4 trillion. Mandatory spending alone was $3.8 trillion.