Who is the Priority Creditor on Default Day?

Here's a skill-testing question in this time of debt showdown.

Who would be the more senior government creditor after Default Day:

- A disabled Social Security recipient?

- Or a vendor with a contract to provide toothpicks to the cafeteria at the Department of Waste, Fraud & Abuse?

I'd guess the vendor, right?