As long as x is not 12, the loop keeps going. The loop can only stop when it sees that x is 12.
You can think of loop
while(C) { … }