Index: src/examples/gc_no_raii/bug-repro/assert.c
===================================================================
--- src/examples/gc_no_raii/bug-repro/assert.c	(revision 08a40fd0ac2822ce5d15d21cb33a99415eeaaaed)
+++ src/examples/gc_no_raii/bug-repro/assert.c	(revision 08a40fd0ac2822ce5d15d21cb33a99415eeaaaed)
@@ -0,0 +1,16 @@
+struct gc_object_header{
+ int size;
+};
+
+struct gc_state;
+
+inline _Bool needs_collect(gc_state* state) {
+ return state->used_space > 0;
+}
+
+struct gc_object_header* gc_get_object_for_ref();
+
+inline gc_object_header* gc_get_object_ptr(void* ptr)
+{
+ return 0;
+}
Index: src/examples/gc_no_raii/bug-repro/not_equal.c
===================================================================
--- src/examples/gc_no_raii/bug-repro/not_equal.c	(revision 08a40fd0ac2822ce5d15d21cb33a99415eeaaaed)
+++ src/examples/gc_no_raii/bug-repro/not_equal.c	(revision 08a40fd0ac2822ce5d15d21cb33a99415eeaaaed)
@@ -0,0 +1,10 @@
+
+struct pointer_t
+{
+	void* p;
+};
+
+_Bool operator_not_equal_p(pointer_t* lhs, pointer_t* rhs)
+{
+	return lhs->p == rhs->p;
+}