lib/fuchsia/firmware_sdk/arch/arm64/sysroot/include/bits/x86_64/setjmp.h

typedef unsigned long long int __jmp_buf[10];