gnu-efi/apps/setjmp.c