The proceeds can be earmarked to paying down the debt.
We have a STRUCTURAL problem with the budget. We have to change or eliminate the entitlement programs and WE MUST get the Federal workforce more in line with the private sector. That includes ELIMINATION of many, many, many IF NOT MOST nonmilitary workers.
The Federal Government dose WAY TOO MUCH. a wholesale elimination of several departments along with the personnel is more than called for, it is an absolute necessity!
The federal workforce has been remarkably stable since the early 1960s. 50 years of no significant growth!