/* We don't need any code here since the setjmp.S file contains it.  */