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

type __jmp_buf = [c_long; 8];