MODULE Downward; IMPORT InOut; VAR i: INTEGER; BEGIN FOR i := 10 TO 0 BY -1 DO InOut.WriteInt(i, 2); InOut.WriteLn END END Downward.