1 typedef /*@only@*/ int *oip;
3 typedef /*@abstract@*/ struct
9 void sip_free (/*@only@*/ sip x)
13 for (i = 0; i < x->size; i++)
23 void sip_free2 (/*@only@*/ sip x)
25 free (x->ips); /* 1. Only storage *(x->ips) (type oip) derived from released */