verbose_invalid_scalar
verbose_invalid_scalar(env, r1, range, "At bpf_set_retval", "R1");
verbose_invalid_scalar(env, reg, range, exit_ctx, reg_name);
verbose_invalid_scalar(env, r0, callee->callback_ret_range,