What to expect from the IRS during the government shutdown