The procedure kill handles both kinds of process termination. It may be explicitly called by a process that makes a kill request or it may be called implicitly when a process terminates normally.
