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

procedure main() returns () {
  var x : int;
  while(x > 0)
  {
	x := x - 1;
  }
}