<Verb>ChildKill(s):: Child process --> Void</Verb>
<Verb>ChildRestart(s):: Child process --> Void</Verb>
<P/> The first version inputs a child process <M>s</M> and immediately kills
it. The second version immediately kills the process and then restarts it.
