src/third_party/musl/arch/or1k/bits/setjmp.h

typedef unsigned long __jmp_buf[13];