+#include <cdsannotate.h>
+#include "common.h"
+#include "action.h"
+#include "model.h"
+
+/** Pass in an annotation that a trace analysis will use. The
+ * analysis type is a unique number that specifies which trace
+ * analysis needs the annotation. The reference is to a data
+ * structure that the trace understands. */
+
+void cdsannotate(uint64_t analysistype, void *annotation) {
+ /* seq_cst is just a 'don't care' parameter */
+ model->switch_to_master(new ModelAction(ATOMIC_ANNOTATION, std::memory_order_seq_cst, annotation, analysistype));
+}