private void ObjectInvariant() {
Contract.Invariant(this.nameTable != null);
Contract.Invariant(this.internFactory != null);
Contract.Invariant(this.coreIdentities != null);
//Contract.Invariant(this.pointerSize == 0 || this.pointerSize == 4 || this.pointerSize == 8);
}