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