Pre-condition loop

This is a pre-condition loop. If number were initialised to 4 instead, the first test would be False and the body would execute zero times. Any variable used in the initial condition must already have an appropriate value before that test.