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