# t47
# C4B:    1 + |[0,n]| ticks
# eocimp: [1 | ⊤] + [n | n ≥ 0]

def startT47():
  var n, flag

  flag = 1

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