pool_elem_dprintf
pool_elem_dprintf(TO_ELEM(src));
pool_elem_dprintf(TO_ELEM(tgt));
pool_elem_dprintf(TO_ELEM(rl[i]));
pool_elem_dprintf(TO_ELEM(src));
pool_elem_dprintf(TO_ELEM(tgt));
pool_elem_dprintf(TO_ELEM(newres));
pool_elem_dprintf(e2);
pool_elem_dprintf(TO_ELEM(res[j]));
pool_elem_dprintf(TO_ELEM(res));
extern void pool_elem_dprintf(const pool_elem_t *);
pool_elem_dprintf(TO_ELEM(pke));
pool_elem_dprintf(TO_ELEM(pke));
pool_elem_dprintf(create->pcu_elem);
pool_elem_dprintf(create->pcu_elem);
pool_elem_dprintf(destroy->pdu_elem);
pool_elem_dprintf(TO_ELEM(xtransfer->pxu_rl[size]));
pool_elem_dprintf(create->pcu_elem);
pool_elem_dprintf(destroy->pdu_elem);
pool_elem_dprintf(TO_ELEM(pke));