cpp/execution/dsc forward progress guarantee