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