third_party/fuchsia-sdk/arch/arm64/sysroot/include/bits/x86_64/setjmp.h

typedef unsigned long long int __jmp_buf[9];