They will get some federal buyout and big pension allowing them to live on the beach for life or you can bet they won’t quit. That’s usually the game.
I retired from the FedGov 20 years ago. I had worked for the Defense Department for 33 years, plus four years of active duty military. My organization was composed of people who were anything but risk averse. My daughter is on her fourth deployment to Afghanistan as a civilian. I worked the African circuit for years. My late wife and I worked all over Latin America, culminating in a four-year in Havana, surrounded by Fidel’s goons. My people are globally deployed. You don’t want to can these folks.