I don't see any great virtue in that - internally, `kill(1)` has to perform
the same looping we have here, as there is no system call for "kill
multiple processes" without using process groups or something else fancy
like that.  If we wanted to go down that path it could be just as well
coded here.