- HashTable<void *, std::list<ModelAction *>, uintptr_t, 4> *lazy_sync_with_release;
+ HashTable<void *, action_list_t, uintptr_t, 4> *lazy_sync_with_release;
+
+ /**
+ * Represents the total size of the
+ * ModelChecker::lazy_sync_with_release lists. This count should be
+ * snapshotted, so it is actually a pointer to a location within
+ * ModelChecker::priv
+ */
+ unsigned int *lazy_sync_size;