https://libcds.sourceforge.io/doc/cds-api/index.html