Debt reduction without (a messy) default