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