Employees of the Federal Government provide service to their employer in exchange for compensation, of which some is received currently (the salary); and some is deferred (pensions, retirement health benefits, and other retirement benefits).
Federal Government employees get pensions and retirement health benefits.
Check opening it is anyone's guess if the generously extended hours for the Jubilee Year 2000 will be kept in effect.