if you think this will result in any significant head count reduction you are very mistaken… no one leaves government jobs once they get one and many people are there after taking a paycut coming from private sector. I work in federal government and have not heard a single person yet saying “well, shit, gotta get another job (in THIS market, emphasis mine).