/* TAGS: min c */
#include <setjmp.h>
#include <assert.h>
#include <stdbool.h>

volatile bool jumped = false;

int main() {
    jmp_buf jb;
    int r = setjmp( jb );
    if ( jumped )
        assert( r == 42 );
    else
        assert( r == 0 );

    assert( !jumped ); /* ERROR */

    jumped = true;
    longjmp( jb, 42 );
}