kill 1, $pid
                and waitpid($pid, 0);