On Friday, more than 4,000 federal employees were laid off.