Non ho ben capito il funzionamento di setjmp/longjmp... (il programma funziona comunque )