MODULE WhileExample;
  IMPORT Out;

  PROCEDURE DivBy2*();
    VAR i: INTEGER;
  BEGIN
    i := 1024;
    WHILE i > 0 DO
      Out.Int(i,0);
      Out.Ln;
      i := i DIV 2;
    END;
  END DivBy2;

BEGIN
  DivBy2
END WhileExample.