For further discussion of the accounting standards for pensions and other retirement benefits for federal employees, see SFFAS
SFFAS has more discussion on the accounting standards.
The federal employees receive no benefits.