4 ms·

If interested in a comprehensive treatment of this kind of imperative program design: The Science of Programming by David Gries.