x_int<width+1> operator+(const x_int<width>a,const x_int<width>b);
x_int<width_a+width_b> operator*(const x_int<width_a>a,const x_int<width_b>b);