int counter() {
  int i = 0;
  while (i < 100) {
    i = i + 1;
  }
  return i;
}