+ i : INTEGER;
i := 1024;
{ i > 0 }.while_do {
  i.println;

  i := i / 2;
};