#include <stdio.h>
#include <setjmp.h>

jmp_buf jbuf;

int main(void) {
	int i = 0;
	if(setjmp(jbuf)==0){
		i = 10;
		printf("(1) %d\n",i);
		longjmp(jbuf,1);
	}else{
		printf("(2) %d\n",i);
	}
	return 0;
}