> air traffic controllers who are required to work without pay

What happens to them if they just refuse to work? They certainly cannot be prosecuted, as the 13th Amendment prohibits slavery.