cpp_int@a,@b;wt(a+b);