[lotsofpulp]

Thanks for looking that up to confirm. My hunch was based on Medicare + Medicaid + Social Security eclipsing everything else in the US federal budget.