I don't know of any federal government 401k; everyone gets a "pension", it's called FERS (Federal Employees' Retirement System)
https://en.wikipedia.org/wiki/Federal_Employees_Retirement_S...
https://en.wikipedia.org/wiki/Federal_Employees_Retirement_S...