OBJ_PUB_DH942_PRIME
bigint_attr_cleanup(OBJ_PUB_DH942_PRIME(
OBJ_PUB_DH942_PRIME(object_p), template));
bigint = OBJ_PUB_DH942_PRIME(obj);
OBJ_PUB_DH942_PRIME(objp))->big_value_len, 8) +
OBJ_PUB_DH942_PRIME(objp))->big_value_len);
OBJ_PUB_DH942_PRIME(objp))->big_value,
OBJ_PUB_DH942_PRIME(objp))->big_value_len);
OBJ_PUB_DH942_PRIME(objp))->big_value_len, 8);