US default has some fun Y2K-ish consequences, since plenty of software just doesn’t account for the possibility of treasuries not just becoming inert the day after they mature.