dt_node_link
new_list = dt_node_link(new_list, dnp);
#define LINK(l, r) dt_node_link(l, r)
extern dt_node_t *dt_node_link(dt_node_t *, dt_node_t *);
dp->dtsp_clause_list = dt_node_link(dp->dtsp_clause_list, clause);
dp->dtsp_clause_list = dt_node_link(clause, dp->dtsp_clause_list);