- // Note: variables used after THROW must be declared as volatile.
- volatile int exit_status = 0; // global exit status
- volatile double simulated_time = -1.0;
+ // Note: variables modified between TRY (setjmp) and THROW (longjmp)
+ // must be declared as static or volatile.
+ static int exit_status = 0; // global exit status
+ static double simulated_time = -1.0;