tnum_range
struct tnum tnum_range(u64 min, u64 max);
enforce_attach_type_range = tnum_range(2, 3);
tnum_range(reg_umin(reg),
tnum_range(reg_u32_min(reg),
reg->var_off = tnum_range(s64_min, s64_max);
reg->var_off = tnum_subreg(tnum_range(s32_min, s32_max));