I remember a couple years back reading somewhere (I tried and failed to find the article) that the Treasury Department's software wasn't actually prepared to stop the automatic generation of checks and payments if the debt ceiling was hit. This was for the first time that there was a "crisis" under Obama, so I would imagine that it's been solved.