Index: examples/gc_no_raii/bug-repro/not_equal.c
===================================================================
--- examples/gc_no_raii/bug-repro/not_equal.c	(revision 90152a4860529aff7214be01cd22abd37012cd19)
+++ examples/gc_no_raii/bug-repro/not_equal.c	(revision 90152a4860529aff7214be01cd22abd37012cd19)
@@ -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;
+}
