19
typedef int jmp_buf[14];

0