# t16 # C4B: 101|[0,x]| # eocimp: 101|[0,x+1]| def startT16(): var x, y, z while [y >= 0] x > y: tick 1 x = x - (y + 1) z = 100 + 2 * y while z > 0: tick 1 z = z - 1