Type Definition cdds_util::__jmp_buf

type __jmp_buf = [c_long; 8];