# t15
# C4B:    |[0,x]|
# eocimp: |[0,x + 1]|

def startT15():
  var x, y, z

  while [y >= 0] x > y:
    tick 1
    x = x - (y + 1)
    z = y
    while z > 0:
      tick 1
      z = z - 1