Corrections agents included in correctional employees retire ment plan, and coverage for prior state service provided.