The write to `causeOfPanic` must happen before the write to `tmOk`, in order to properly synchronise with the reads of those fields in `assertHealthy`.