x = max(-inf, (max(0, min(-inf, y))))
y = x - 1