/* * Return the process group ID of the session leader (session ID) * for the specified process. */