DynDestroy
int DynDestroy (/*@only@*/DynObject obj), DynRelease (DynObject obj);
if(DynDestroy(obj) != DYN_OK) {
DynDestroy((DynObject) xdrs->x_private);