Well, if you realize a gain on it, you obviously get some interest relief on $5 billion. At a 4% effective interest rate, you can get a small trickle of ongoing savings. But absolutely, you can't really pair it up with anything other than a one-time expenditure.
In my 23 years in government, I never encountered a one-time expenditure. And on the so-called sunsetting programs, I've never seen the sun set. So that doesn't work out very well.