I retired from city government. We have a 457b plan which is the same as a 401k but for government employees (live in GA) It is indeed an IRA and treated like a 401k.
