// SKIP TERM PARAM: --set "ana.activated[+]" termination --set ana.activated[+] apron --enable ana.int.interval --set ana.apron.domain polyhedra
#include <stdio.h>

int main()
{
  int i = 1;

  while (i <= 10)
  {
    printf("%d\n", i);
    i++;
  }

  return 0;
}
