/* this typedef appears the CI-C86 stdio.h and is commented out here typedef int jmp_buf[14]; */