ppc wchar_t is long, not int
[musl] / arch / microblaze / bits / setjmp.h
1 typedef unsigned long jmp_buf[18];