-record(get_best_effort_coverage_response, { result :: list(protocol@profiler:script_coverage()) }).