other state workers