y = max(0, 5 + x, x)
z = max(0, 1 + z, 0 + x)
x = max(0, min(-1 + x, y))