//#Safe
/*
 * Author: Miriam Herzig
 * Date: 2021-03-27
 * 
 */

procedure main() returns () {
  var x, y : int;
  while(x < 0)
  {
	x := x + y + 2;
  }
}