tnum_cast
struct tnum tnum_cast(struct tnum a, u8 size);
return tnum_cast(a, 4);
reg->var_off = tnum_cast(reg->var_off, size);