File size: 36 Bytes
00df61d
1
2
typedef unsigned long __jmp_buf[6];