let
ctrl_dpds_infos =
Param
.ctrl_dpds_infos