//#rNonTerminationDerivable
/*
 * Date: 2014-06-26
 * Author: leike@informatik.uni-freiburg.de
 *
 */

procedure main() returns ()
{
  var x: real;
  while (x >= 1.0) {
    x := 2.0*x;
  }
}