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 50c5cf340ea05a3063940bd4c2abcd84b886f083)
@@ -35,4 +35,6 @@
 	}
 
+	check(is_valid( &ll0.internal ));
+
 	return ll0;
 }