. . "Mostly debt issued by the Federal Financing Bank and debt issued by federal agencies other than the Treasury." . .