Type Definition php_all_sys::php73::__jmp_buf[−][src]

type __jmp_buf = [c_long; 8];