source: CIVL/mods/dev.civl.abc/examples/side-effects/out_doWhile.c

//======================== doWhile.c =======================
int f(int i)
{
  return i > 0;
}
int main()
{
  int sum = 0;
  int i = 10;
  {
    int $sef$1;
    do
    {
      {
        int $sef$0 = i;
        i = i - 1;
        sum = sum + $sef$0;
      }
      $sef$1 = f(i);
    }while($sef$1);
  }
  i = 10;
  sum = 0;
  do
  {
    {sum = sum + i;}
    i = i - 1;
  }while(i);
  i = 10;
  sum = 0;
  {
    int $sef$2;
    do
    {
      {sum = sum + i;}
      $sef$2 = i;
      i = i - 1;
    }while($sef$2);
  }
}