/* A process group identifier. */