1 typedef struct _node *node;
12 extern void keeper (/*@keep@*/ item iv);
14 void node_free1 (/*@only@*/ node n)
16 free (n); /* 2 errors: must free n->next, n->val */
19 void node_free2 (/*@only@*/ node n)
24 } /* error - nn not released */
26 void node_free3 (/*@only@*/ node n)
32 node_free1 (nn); /* okay (error for null) */