HRS §88-49.5
Federal retirement system employees can keep state retirement benefits
This section lets certain state employees who were in the federal retirement system and also in the state retirement system on July 25, 1971, keep all their state retirement benefits. They can also get credit for time they were not allowed to join the state system because of federal coverage, but only if they chose this by January 1, 1973.
employees
The statute, as written — Certain employees subject to federal retirement system; election.] Any provision in this chapter to the contrary notwithstanding, any employee who was subject to the federal retirement system and was
a member of the employees' retirement system of the State on July 25, 1971, shall be entitled to all benefits which accrued from such membership and shall be permitted to continue membership in the system with all the benefits thereof, including the right to acquire as membership service credit pursuant to section 88-59, the period of service for which the employee was denied membership in the system because of being subject to the federal retirement system, provided that such election shall be made before January 1, 1973.
Sections this one refers to
§88-59 How to buy credit for past government work
LawTrove is not legal advice. The summary above is a computer-generated restatement — the authoritative text is the official version linked above.