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