taxpayer-backed loan.