tnum_range
struct tnum tnum_range(u64 min, u64 max);
enforce_attach_type_range = tnum_range(2, 3);
tnum_range(reg->smin_value, reg->smax_value));
tnum_range(reg->umin_value,
tnum_range(reg->u32_min_value,
reg->var_off = tnum_range(s64_min, s64_max);
reg->var_off = tnum_subreg(tnum_range(s32_min, s32_max));