Actually the govt is Constitutionally obligated to honor debt. Default is never a legal option, though of course the govt can lay off workers. (Considering shut down of services a temp layoff in this case)

For who could be free when every other man's humour might domineer over him? - John Locke (2nd Treatise, sect 57)