# speed_pldi10_ex3
# C4B:    |[0,n]| ticks
# ecoimp: 1/2·[n | n ≥ 0] + 1/2·[n^2 | n ≥ 0]

def startEx3():
  var n, break

  while n > 0:
    tick 1
    n  = n - 1
    break = 0
    while n > 0 and break = 0:
      tick 1
      nondet:
        break = 1
      else:
        n = n - 1