Index: src/examples/gc_no_raii/test/badlll.c
===================================================================
--- src/examples/gc_no_raii/test/badlll.c	(revision 76af36f4a9e47a83d4e2a30ce79b4fda2dd395e7)
+++ src/examples/gc_no_raii/test/badlll.c	(revision fd782b2be4d8d0e2485b8b387f34d18a1f6b3b52)
@@ -35,4 +35,6 @@
 	}
 
+	check(is_valid( &ll0.internal ));
+
 	return ll0;
 }