Type Definition uikit_sys::jmp_buf

type jmp_buf = [c_int; 37];