path: root/tests/disabled/macro/run/idempotency-labels.check

2
{
  var x: Int = 0;
  while$1(){
    if (x.<(2))
      {
        x = x.+(1);
        while$1()
      }
    else
      ()
  };
  x
}
2