-static /*@null@*/ HASHNODE *
- HashNode_copy (/*@null@*/ HASHNODE *,
- /*@dependent@*/ HASHNODE **p_hdr,
- /*@dependent@*/ /*@null@*/ /*@special@*/ HASHNODE *p_prev)
+static /*@null@*/ hashNode hashNode_copy (/*@null@*/ hashNode,
+ /*@null@*/ /*@dependent@*/ n_hashNode *p_hdr,
+ /*@dependent@*/ /*@null@*/ /*@special@*/ hashNode p_prev)