Can Debt Cuts Be Automated?