DynInsert
return DynInsert(obj, DynSize(obj), els, num);
int DynInsert (DynObject obj, int idx, /*@observer@*/void *els, int num);
if (DynInsert(obj, -1, "foo", 4) != DYN_BADINDEX ||
DynInsert(obj, DynSize(obj) + 1, "foo", 4) != DYN_BADINDEX ||
DynInsert(obj, 0, "foo", -1) != DYN_BADVALUE) {
if (DynInsert(obj, DynSize(obj) - 2, insert3, strlen(insert3) +
if (DynInsert(obj, 19, insert2, strlen(insert2)) != DYN_OK) {
if (DynInsert(obj, 0, insert1, strlen(insert1)+1) != DYN_OK) {
if (DynInsert((DynObject) xdrs->x_private,
if (DynInsert((DynObject) xdrs->x_private,