It is within the cs, but before the retest of the state variables - other thread may have got in before hand, and you would have extra tracing.