OBJ_DOM_DH942_PRIME
bigint_attr_cleanup(OBJ_DOM_DH942_PRIME(
OBJ_DOM_DH942_PRIME(object_p), template));
bigint = OBJ_DOM_DH942_PRIME(obj);