Funny...no mention of Social Security checks.
Social Security is an "entitlement" (this has a precise legal definition) and does not need a budget.
Debt service is paid first, then entitlements, then budget items.
I noticed that too. I believe that is, technically, at least, funded.