Index: examples/gc_no_raii/bug-repro/test-assert.cpp
===================================================================
--- examples/gc_no_raii/bug-repro/test-assert.cpp	(revision 90152a4860529aff7214be01cd22abd37012cd19)
+++ examples/gc_no_raii/bug-repro/test-assert.cpp	(revision 90152a4860529aff7214be01cd22abd37012cd19)
@@ -0,0 +1,9 @@
+#include <cassert>
+#include "../src/tools/checks.h"
+
+int main(int argc, char* argv[])
+{
+	//check(false);
+	assert(false);
+	return 0;
+}