"old_high" and "old_low" must be volatile.