def plus2(x, y):
h1 = make_cell(x)
h2 = make_cell(y)
increment(h1)
increment(h2)
increment(h1)
increment(h2)
return cell_get(h1), cell_get(h2)
def plus(x, y):
h = make_cell(x)
i = y
while i > 0:
increment(h)
i = i - 1
return cell_get(h)
def plus4(x):
h = make_cell(x)
increment(h)
increment(h)
increment(h)
increment(h)
return cell_get(h)