#include <setjmp.h>
#include <stdio.h>

int main() {
    printf("%zu\n", sizeof(jmp_buf));

    return 0;
}