# t46
# C4B:    |[0,y]| ticks
# eocimp: [y | y >= 0] + [x | x >= 0] + [y | y >= 0]

def produceConsumeProduce():
  var x, y

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

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

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