// ----------------------------------------------------------------------------
// $Id$
// ----------------------------------------------------------------------------
// Public Domain C Library - http://pdclib.sourceforge.net
// This code is Public Domain. Use, modify, and redistribute at will.
// ----------------------------------------------------------------------------

int setjmp(jmp_buf env) { /* TODO */ };
void longjmp(jmp_buf env, int val) { /* TODO */ };