If C is false just before the loop, the control flows through
1 S1
2 while C
3 S2
4 S3
How many times the loop is iterated?
i := 0
while i ≠ 5
i := i + 1