Section Header

+ name := TEST_LOOP_BREAK;

Section Public

- main <- (
  + a, b : INTEGER;

  `srand(time(NULL))`;
  {
    a := `rand()`:INTEGER % 20; // not exactly uniformly distributed, but doesn't matter
    a.print;
    '\n'.print;
    a == 10
  }.until_do {
    b := `rand()`:INTEGER % 20; // not exactly uniformly distributed, but doesn't matter
    b.print;
    '\n'.print;
  }
);