 The state indicators for state B will be v11 and v13.Note that we require two state control indicators for one loop; a primary flag (v11) and a secondary flag (v13).Because each indicator is consumed whenever it is tested, we need a secondary indicator to say "continue in the current state"; this secondary indicator is swapped back to the primary indicator in the next instruction, and the loop continues.