int counter() {
  /* A */
  int i = 0;
  while (/* B */i < 100) {
    i = i + 1;
  }
  /* C */
  return i;
}