Of course they’re stolen and spent already.
The point is that they can be redeemed without increasing the national debt; SSA tells the Treasury they are redeeming a bond, the Treasury issues one of their own to fund the SSA redemption, and the Fed “prints” the money to buy the Treasury bond.
No net change to national debt, no debt-ceiling problem