tnum_union
struct tnum tnum_union(struct tnum t1, struct tnum t2);
acc = tnum_union(acc, tnum_add(acc, b));