In an ideal world, the government would sell some of whatever shares it gets at good times to pay off debt, for example when interest is high just before a tranche of government bonds expire