let rec add_t n m = if n=0 then m else succ_t (add_t (n-1) m)