Added volatile to local variables needed by setjmp