tex/thesis/implementation/experiments/example.c


1
2
3
4
5
6
7
8
9
10
11
12
13

int example() {
  /* A */
  int x1 = 1;
  int x2 = 1;

  while (/* B */ x1 <= 8) {
    x1 = x1 + 2;
    x2 = x2 + 2;
  }
  /* C */
  return x2;
}