[ros-diffs] [hbirr] 14475: Since a process id is only unique if the associated process is not deleted,