my $pids_pat =
    map qr/$_/,
    join '|',
    #map quotemeta,  # We're only dealing with digits
    @pids;