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

procedure main() returns () {
  var x, y, z, w : int;
  while(x > 0)
  {
    x := x + 1;
    y := y + 1;
    z := z + 1;
    w := w + 1;
  }

}