# t07
# C4B:    1 + 3|[0,x]| + |[0,y]|
# eocimp: [x | x ≥ 0] + 2·[x | x ≥ 0] + [y | y ≥ 0] + [ 1 | T]

def startFish():
  var x, y

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

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

  tick 1 # for fish();
  while y > 0:
    tick 1
    y = y - 1