tnum_mul
struct tnum tnum_mul(struct tnum a, struct tnum b);
dst_reg->var_off = tnum_mul(dst_reg->var_off, src_reg.var_off);