# speed_pldi10_ex4
# C4B:    1 + 2|[0,n]| ticks
# ecoimp: [1 | ⊤] + 2·[n | n ≥ 0]

def startEx4():
  var n, flag

  flag = 1

  while flag > 0:
    tick 1
    flag = 0
    while n > 0:
      tick 1
      n = n - 1
      flag = 1