Type Definition setjmp::sigjmp_buf

type sigjmp_buf = [__jmp_buf_tag; 1];