; WHILE: the condition is tested before each turn

PROC Main()
  CARD value
  BYTE count

  value=1
  count=0
  WHILE value<1000
  DO
    PrintC(value) Put(' )
    value==*2
    count==+1
  OD
  PutE()
  Print("Doubled ") PrintB(count) PrintE(" times.")

  count=10
  WHILE count>20
  DO
    PrintE("This line is never written.")
  OD
  PrintE("Done.")
RETURN