#include <setjmp.h>
int main()
{
	printf("%i\n", sizeof(jmp_buf));
	return 0;
}