() ()
See the file man3/setjmp.3.
April 3, 2020