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))