The following primitives may be used to check whether a gc or a gcable is valid, and to find the gc associated with a gcable.