DynPtr
DynPtr els = (DynPtr) els_in;
DynPtr
DynPtr
return (DynPtr) obj->array + obj->el_size*num;
DynAppend(DynObjectP obj, DynPtr els, int num)
DynPtr el = (DynPtr) el_in;
DynPtr temp;
temp = (DynPtr) realloc(obj->array, (size_t) new_size_in_bytes);
obj->array = (DynPtr) malloc(1);
DynPtr array;
/*@dependent@*//*@null@*/ DynPtr DynGet (DynObject obj, int num);
/*@observer@*/ DynPtr DynArray (DynObject obj);
int DynAppend (DynObject obj, DynPtr els, int num);