# speed_pldi09_fig4_4
# C4B:    |[0,n]| ticks
# eocimp: |[0,n]| ticks

def startFig4_4():
  var i, n, m

  i = n

  while [0 < m] i > 0:
    tick 1
    if i < m:
      i = i - 1
    else:
      i = i - m