+#include "datarace.h"
+#include "model.h"
+#include "threads-model.h"
+#include "snapshot-interface.h"
+
+/**
+ * Helper functions used by CDSPass
+ * The CDSPass implementation does not replace normal load/stores with cds load/stores,
+ * but inserts cds load/stores to check dataraces. Thus, the cds load/stores do not
+ * return anything.
+ */