Use volatile properly. Thanks Brendan Quinn.
Move setjmp-bug away.