wasi-libc/libc-top-half/musl/arch/microblaze/bits/setjmp.h

typedef unsigned long __jmp_buf[18];