verify exec