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