1 // ----------------------------------------------------------------------------
3 // ----------------------------------------------------------------------------
4 // Public Domain C Library - http://pdclib.sourceforge.net
5 // This code is Public Domain. Use, modify, and redistribute at will.
6 // ----------------------------------------------------------------------------
8 int setjmp(jmp_buf env) { /* TODO */ };
9 void longjmp(jmp_buf env, int val) { /* TODO */ };