var cont := 4;
while (cont)
    print( "cont: " + cont );
    cont := cont - 1;
endwhile