Should there be a `before`/`after` block pair that sets this to the new value, then in the `after` block sets it to whatever it was before? I worry about global state leakage with random spec order.