# t10
# C4B:    |[y,x]|
# eocimp: [x + -y | x + -y ≥ 0]

def startT10():
  var x, y

  while x > y:
    tick 1
    nondet:
      y = y + 1
    else:
      x = x - 1