If they default on the debt on June 5, that is a choice that they will make. They will be rejecting the option to redirect other spending into paying the interest on the debt.
Like a guy refusing to cancel his trip to Vegas and use the money to pay his monthly credit card payments.
The government does not have the ability to do this with their computer systems. There is no reason for them to do so.