verbose_invalid_scalar
verbose_invalid_scalar(env, r0, callee->callback_ret_range,
verbose_invalid_scalar(env, reg, range, exit_ctx, reg_name);