doc/examples/wfcqueue/cds_wfcq_enqueue
doc/examples/wfcqueue/cds_wfcq_dequeue
doc/examples/wfcqueue/cds_wfcq_splice
doc/examples/wfstack/cds_wfs_push
doc/examples/wfstack/cds_wfs_pop
doc/examples/wfcqueue/cds_wfcq_enqueue
doc/examples/wfcqueue/cds_wfcq_dequeue
doc/examples/wfcqueue/cds_wfcq_splice
doc/examples/wfstack/cds_wfs_push
doc/examples/wfstack/cds_wfs_pop