I can't answer that concretely, but there is an active secondary market for corporate loans, so I have always understood divestment to mean selling the loans to third parties (eg, credit funds and CLOs), as you mention.