+
−
+
−
def add(x, y) =+
−
  if x == 0 then y else 1 + (add(x - 1, y));+
−
+
−
def addT(x, y) =+
−
  if x == 0 then y else addT(x - 1, y + 1);+
−
+
−
(write(add(1000, 1000)); addT(100000,100000))+
−
+
−