<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.



