# speed_pldi09_fig4_2
# C4B:    1 + 2|[0,n]| ticks
# eocimp: |[m,1]| + 2|[0,n]|

def startFig4_2():
  var n, m, va, vb

  va = n
  vb = 0

  while [m > 0] va > 0:
    tick 1
    if vb < m:
      vb = vb + 1
      va = va - 1
    else:
      vb = 0