# speed_pldi09_fig1
# C4B:    2|[0,n]| ticks
# eocimp: 2·[n | n ≥ 0]

def startFig1():
  var n, x, y

  x = 0
  y = 0
  break = 1

  while break = 0:
    tick 1
    if x < n:
      y = y + 1
      x = x + 1
    else:
      if y > 0:
        y = y -1
      else:
        break = 1