A Note on the FOR Statement - Hoare, C (1972)