. . . . "vacation, sick leave, retirement, workers' compensation, unemployment insurance, or other benefits" . .