# t37
# C4B:    3 + 2|[0,x]| + |[0,y]|
# eocimp: [x | x ≥ 0] + [x | x ≥ 0] + [y | y ≥ 0]

def copyCountDown():
  var x, y

  while x > 0:
    tick 1
    y = y + 1
    x = x - 1

  while y > 0:
    tick 1
    y = y - 1