function sum(x: int, y: int): int
    if y = 0:
        return x
    return sum(x+, y-)

def sum(x, y):
    if not y:
        return x
    return sum(sucessor(x), antecessor(y))

print(sum(3, 5))  # 8