__mark_reg_s32_range
err = __mark_reg_s32_range(env, regs, BPF_REG_0, -MAX_ERRNO, -1);
err = __mark_reg_s32_range(env, regs, value_regno,